The bald eagle chases the squirrel. The bald eagle sees the cat. The bald eagle sees the lion. The cat is big. The cat is not young. The cat sees the bald eagle. The lion does not like the squirrel. The lion sees the bald eagle. The squirrel chases the bald eagle. The squirrel chases the cat. The squirrel likes the cat. The squirrel does not see the cat. If someone sees the cat then the cat is red. If someone sees the squirrel then the squirrel chases the lion. If someone likes the cat then the cat does not chase the squirrel.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is not young.
("cat" "is" "young" "-")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The lion does not like the squirrel.
("lion" "likes" "squirrel" "-")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
If someone sees the cat then the cat is red.
((("someone" "sees" "cat" "+")) -> ("cat" "is" "red" "+"))
If someone sees the squirrel then the squirrel chases the lion.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "chases" "lion" "+"))
If someone likes the cat then the cat does not chase the squirrel.
((("someone" "likes" "cat" "+")) -> ("cat" "chases" "squirrel" "-"))
The lion sees the bald eagle.
True
1
proof
[(triple8)]
("lion" "sees" "bald eagle" "+")
triple8
The cat is not big.
False
1
inv-proof
[(triple4)]
("cat" "is" "big" "-")
triple4
The cat does not chase the squirrel.
True
2
proof
[(((triple11) -> rule3))]
("cat" "chases" "squirrel" "-")
((triple11) -> (rule3 % int1))
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
int1
The cat is not red.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "is" "red" "-")
((triple2) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The squirrel does not chase the lion.
Unknown
inv-rconc
[@1: The squirrel chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "lion" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The lion does not like the cat.
Unknown
inv-random
[@0: The lion likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cat" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle sees the cat.[(triple2)] The bald eagle sees the lion.[(triple3)] The cat is big.[(triple4)] The cat is not young.[(triple5)] The cat sees the bald eagle.[(triple6)] The lion does not like the squirrel.[(triple7)] The lion sees the bald eagle.[(triple8)] The squirrel chases the bald eagle.[(triple9)] The squirrel chases the cat.[(triple10)] The squirrel does not see the cat.[(triple12)] The squirrel likes the cat.[(triple11)] @1: The cat does not chase the squirrel.[(((triple11) -> rule3))] The cat is red.[(((triple2) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple3
The cat is big.
("cat" "is" "big" "+")
triple4
The cat is not young.
("cat" "is" "young" "-")
triple5
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple6
The lion does not like the squirrel.
("lion" "likes" "squirrel" "-")
triple7
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple8
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple9
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple10
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
triple12
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple11
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
((triple11) -> (rule3 % int1))
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
int1
The cat is red.
("cat" "is" "red" "+")
((triple2) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1