The bald eagle is cold. The bald eagle likes the cat. The bald eagle sees the cat. The bald eagle visits the cat. The bald eagle visits the lion. The cat likes the lion. The cat sees the bald eagle. The cat sees the lion. The cat visits the lion. The lion is green. If the bald eagle visits the cat and the cat is cold then the cat is red. If something likes the cat and the cat visits the lion then the cat is cold.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
If the bald eagle visits the cat and the cat is cold then the cat is red.
((("bald eagle" "visits" "cat" "+") ("cat" "is" "cold" "+")) -> ("cat" "is" "red" "+"))
If something likes the cat and the cat visits the lion then the cat is cold.
((("something" "likes" "cat" "+") ("cat" "visits" "lion" "+")) -> ("cat" "is" "cold" "+"))
The cat likes the lion.
True
1
proof
[(triple6)]
("cat" "likes" "lion" "+")
triple6
The lion is not green.
False
1
inv-proof
[(triple10)]
("lion" "is" "green" "-")
triple10
The cat is cold.
True
3
proof
[(((triple2 triple9) -> rule2))]
("cat" "is" "cold" "+")
((triple2 triple9) -> (rule2 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is not cold.
False
3
inv-proof
[(((triple2 triple9) -> rule2))]
("cat" "is" "cold" "-")
((triple2 triple9) -> (rule2 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is red.
True
5
proof
[(((triple4 ((triple2 triple9) -> rule2)) -> rule1))]
("cat" "is" "red" "+")
((triple4 ((triple2 triple9) -> (rule2 % int2))) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat is not red.
False
5
inv-proof
[(((triple4 ((triple2 triple9) -> rule2)) -> rule1))]
("cat" "is" "red" "-")
((triple4 ((triple2 triple9) -> (rule2 % int2))) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat does not visit the bald eagle.
Unknown
inv-random
[@0: The cat visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bald eagle" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
The lion does not visit the bald eagle.
Unknown
inv-random
[@0: The lion visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bald eagle" "-")
The lion sees the bald eagle.
Unknown
random
[@0: The lion sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bald eagle" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle sees the cat.[(triple3)] The bald eagle visits the cat.[(triple4)] The bald eagle visits the lion.[(triple5)] The cat likes the lion.[(triple6)] The cat sees the bald eagle.[(triple7)] The cat sees the lion.[(triple8)] The cat visits the lion.[(triple9)] The lion is green.[(triple10)] @1: The cat is cold.[(((triple2 triple9) -> rule2))] @2: The cat is red.[(((triple4 ((triple2 triple9) -> rule2)) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The cat likes the lion.
("cat" "likes" "lion" "+")
triple6
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple7
The cat sees the lion.
("cat" "sees" "lion" "+")
triple8
The cat visits the lion.
("cat" "visits" "lion" "+")
triple9
The lion is green.
("lion" "is" "green" "+")
triple10
The cat is cold.
("cat" "is" "cold" "+")
((triple2 triple9) -> (rule2 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is red.
("cat" "is" "red" "+")
((triple4 ((triple2 triple9) -> (rule2 % int2))) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2