The bear chases the cat. The bear eats the cat. The bear is blue. The bear is kind. The bear is rough. The bear is round. The bear is young. The bear sees the cat. The cat chases the bear. The cat eats the bear. The cat is kind. The cat is rough. The cat is round. The cat is young. The cat sees the bear. If someone eats the cat and they are young then they eat the bear. If the bear is kind and the bear sees the cat then the cat sees the bear. If someone is rough and they see the bear then the bear is round.
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 kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
If someone eats the cat and they are young then they eat the bear.
((("someone" "eats" "cat" "+") ("someone" "is" "young" "+")) -> ("someone" "eats" "bear" "+"))
If the bear is kind and the bear sees the cat then the cat sees the bear.
((("bear" "is" "kind" "+") ("bear" "sees" "cat" "+")) -> ("cat" "sees" "bear" "+"))
If someone is rough and they see the bear then the bear is round.
((("someone" "is" "rough" "+") ("someone" "sees" "bear" "+")) -> ("bear" "is" "round" "+"))
The bear is kind.
True
1
proof
[(triple4)]
("bear" "is" "kind" "+")
triple4
The cat is not rough.
False
1
inv-proof
[(triple12)]
("cat" "is" "rough" "-")
triple12
The bear eats the bear.
True
3
proof
[(((triple2 triple7) -> rule1))]
("bear" "eats" "bear" "+")
((triple2 triple7) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear does not eat the bear.
False
3
inv-proof
[(((triple2 triple7) -> rule1))]
("bear" "eats" "bear" "-")
((triple2 triple7) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
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 cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
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 cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2)] The bear is blue.[(triple3)] The bear is kind.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6 OR ((triple12 triple15) -> rule3) OR ((triple12 ((triple4 triple8) -> rule2)) -> rule3))] The bear is young.[(triple7)] The bear sees the cat.[(triple8)] The cat chases the bear.[(triple9)] The cat eats the bear.[(triple10)] The cat is kind.[(triple11)] The cat is rough.[(triple12)] The cat is round.[(triple13)] The cat is young.[(triple14)] The cat sees the bear.[(triple15 OR ((triple4 triple8) -> rule2))] @1: The bear eats the bear.[(((triple2 triple7) -> rule1))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear eats the cat.
("bear" "eats" "cat" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
((triple12 triple15) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
((triple12 ((triple4 triple8) -> (rule2 % int2))) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The cat sees the bear.
("cat" "sees" "bear" "+")
int2
The bear is young.
("bear" "is" "young" "+")
triple7
The bear sees the cat.
("bear" "sees" "cat" "+")
triple8
The cat chases the bear.
("cat" "chases" "bear" "+")
triple9
The cat eats the bear.
("cat" "eats" "bear" "+")
triple10
The cat is kind.
("cat" "is" "kind" "+")
triple11
The cat is rough.
("cat" "is" "rough" "+")
triple12
The cat is round.
("cat" "is" "round" "+")
triple13
The cat is young.
("cat" "is" "young" "+")
triple14
The cat sees the bear.
("cat" "sees" "bear" "+")
triple15
((triple4 triple8) -> (rule2 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple2 triple7) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1