The bear chases the cat. The bear eats the cat. The bear is blue. The bear is cold. The bear does not like the cat. The cat chases the bear. The cat eats the bear. The cat is cold. The cat is kind. The cat is nice. The cat is young. The cat likes the bear. If someone is nice and they like the bear then the bear eats the cat.
The bear chases the cat.
("bear" "chases" "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 does not like the cat.
("bear" "likes" "cat" "-")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
If someone is nice and they like the bear then the bear eats the cat.
((("someone" "is" "nice" "+") ("someone" "likes" "bear" "+")) -> ("bear" "eats" "cat" "+"))
The cat chases the bear.
True
1
proof
[(triple6)]
("cat" "chases" "bear" "+")
triple6
The cat does not like the bear.
False
1
inv-proof
[(triple12)]
("cat" "likes" "bear" "-")
triple12
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bear chases the cat.[(triple1)] The bear does not like the cat.[(triple5)] The bear eats the cat.[(triple2 OR ((triple10 triple12) -> rule1))] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The cat chases the bear.[(triple6)] The cat eats the bear.[(triple7)] The cat is cold.[(triple8)] The cat is kind.[(triple9)] The cat is nice.[(triple10)] The cat is young.[(triple11)] The cat likes the bear.[(triple12)]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear does not like the cat.
("bear" "likes" "cat" "-")
triple5
The bear eats the cat.
("bear" "eats" "cat" "+")
triple2
((triple10 triple12) -> (rule1 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The cat chases the bear.
("cat" "chases" "bear" "+")
triple6
The cat eats the bear.
("cat" "eats" "bear" "+")
triple7
The cat is cold.
("cat" "is" "cold" "+")
triple8
The cat is kind.
("cat" "is" "kind" "+")
triple9
The cat is nice.
("cat" "is" "nice" "+")
triple10
The cat is young.
("cat" "is" "young" "+")
triple11
The cat likes the bear.
("cat" "likes" "bear" "+")
triple12