The bear eats the cat. The bear eats the rabbit. The bear is big. The bear is cold. The bear is green. The bear needs the cat. The bear needs the rabbit. The bear visits the cat. The bear visits the rabbit. The cat is cold. The cat is green. The cat visits the bear. The rabbit needs the bear. The rabbit needs the cat. The rabbit visits the cat. If someone eats the cat then the cat needs the bear. If someone is young and they eat the bear then the bear visits the rabbit.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If someone eats the cat then the cat needs the bear.
((("someone" "eats" "cat" "+")) -> ("cat" "needs" "bear" "+"))
If someone is young and they eat the bear then the bear visits the rabbit.
((("someone" "is" "young" "+") ("someone" "eats" "bear" "+")) -> ("bear" "visits" "rabbit" "+"))
The bear eats the rabbit.
True
1
proof
[(triple2)]
("bear" "eats" "rabbit" "+")
triple2
The rabbit does not need the bear.
False
1
inv-proof
[(triple13)]
("rabbit" "needs" "bear" "-")
triple13
The cat needs the bear.
True
2
proof
[(((triple1) -> rule1))]
("cat" "needs" "bear" "+")
((triple1) -> (rule1 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The cat does not need the bear.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "needs" "bear" "-")
((triple1) -> (rule1 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The rabbit does not eat the cat.
Unknown
inv-random
[@0: The rabbit eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cat" "-")
The cat eats the rabbit.
Unknown
random
[@0: The cat eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "rabbit" "+")
The cat is not young.
Unknown
inv-random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The bear eats the cat.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is big.[(triple3)] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear needs the cat.[(triple6)] The bear needs the rabbit.[(triple7)] The bear visits the cat.[(triple8)] The bear visits the rabbit.[(triple9)] The cat is cold.[(triple10)] The cat is green.[(triple11)] The cat visits the bear.[(triple12)] The rabbit needs the bear.[(triple13)] The rabbit needs the cat.[(triple14)] The rabbit visits the cat.[(triple15)] @1: The cat needs the bear.[(((triple1) -> rule1))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear needs the cat.
("bear" "needs" "cat" "+")
triple6
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple7
The bear visits the cat.
("bear" "visits" "cat" "+")
triple8
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple9
The cat is cold.
("cat" "is" "cold" "+")
triple10
The cat is green.
("cat" "is" "green" "+")
triple11
The cat visits the bear.
("cat" "visits" "bear" "+")
triple12
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple13
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple14
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple15
The cat needs the bear.
("cat" "needs" "bear" "+")
((triple1) -> (rule1 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1