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