The bear chases the tiger. The bear is blue. The bear is rough. The bear is round. The bear is young. The tiger chases the bear. The tiger is round. The tiger is young. The tiger likes the bear. The tiger visits the bear. If something is young and round then it likes the bear. If something likes the tiger and it is young then the tiger is rough. If the tiger chases the bear and the tiger is round then the bear likes the tiger. If something chases the bear then the bear is kind. If something chases the bear then the bear is round. If the tiger visits the bear and the tiger likes the bear then the bear likes the tiger.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something is young and round then it likes the bear.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "likes" "bear" "+"))
If something likes the tiger and it is young then the tiger is rough.
((("something" "likes" "tiger" "+") ("something" "is" "young" "+")) -> ("tiger" "is" "rough" "+"))
If the tiger chases the bear and the tiger is round then the bear likes the tiger.
((("tiger" "chases" "bear" "+") ("tiger" "is" "round" "+")) -> ("bear" "likes" "tiger" "+"))
If something chases the bear then the bear is kind.
((("something" "chases" "bear" "+")) -> ("bear" "is" "kind" "+"))
If something chases the bear then the bear is round.
((("something" "chases" "bear" "+")) -> ("bear" "is" "round" "+"))
If the tiger visits the bear and the tiger likes the bear then the bear likes the tiger.
((("tiger" "visits" "bear" "+") ("tiger" "likes" "bear" "+")) -> ("bear" "likes" "tiger" "+"))
The bear chases the tiger.
True
1
proof
[(triple1)]
("bear" "chases" "tiger" "+")
triple1
The bear does not chase the tiger.
False
1
inv-proof
[(triple1)]
("bear" "chases" "tiger" "-")
triple1
The bear likes the bear.
True
3
proof
[(((triple5 triple4) -> rule1) OR ((triple5 ((triple6) -> rule5)) -> rule1))]
("bear" "likes" "bear" "+")
((triple5 triple4) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
((triple5 ((triple6) -> (rule5 % int2))) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear does not like the bear.
False
3
inv-proof
[(((triple5 triple4) -> rule1) OR ((triple5 ((triple6) -> rule5)) -> rule1))]
("bear" "likes" "bear" "-")
((triple5 triple4) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
((triple5 ((triple6) -> (rule5 % int2))) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The tiger is rough.
True
5
proof
[(((((triple10 triple9) -> rule6) triple5) -> rule2) OR ((((triple6 triple7) -> rule3) triple5) -> rule2) OR ((((triple10 ((triple8 triple7) -> rule1)) -> rule6) triple5) -> rule2))]
("tiger" "is" "rough" "+")
((((triple10 triple9) -> (rule6 % int2)) triple5) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
((((triple6 triple7) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
((((triple10 ((triple8 triple7) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int3
The tiger is not rough.
False
5
inv-proof
[(((((triple10 triple9) -> rule6) triple5) -> rule2) OR ((((triple6 triple7) -> rule3) triple5) -> rule2) OR ((((triple10 ((triple8 triple7) -> rule1)) -> rule6) triple5) -> rule2))]
("tiger" "is" "rough" "-")
((((triple10 triple9) -> (rule6 % int2)) triple5) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
((((triple6 triple7) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
((((triple10 ((triple8 triple7) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int3
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
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 tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
The bear does not visit the tiger.
Unknown
inv-random
[@0: The bear visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "tiger" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The bear chases the tiger.[(triple1)] The bear is blue.[(triple2)] The bear is rough.[(triple3)] The bear is round.[(triple4 OR ((triple6) -> rule5))] The bear is young.[(triple5)] The tiger chases the bear.[(triple6)] The tiger is round.[(triple7)] The tiger is young.[(triple8)] The tiger likes the bear.[(triple9 OR ((triple8 triple7) -> rule1))] The tiger visits the bear.[(triple10)] @1: The bear is kind.[(((triple6) -> rule4))] The bear likes the bear.[(((triple5 triple4) -> rule1) OR ((triple5 ((triple6) -> rule5)) -> rule1))] The bear likes the tiger.[(((triple10 triple9) -> rule6) OR ((triple6 triple7) -> rule3) OR ((triple10 ((triple8 triple7) -> rule1)) -> rule6))] @2: The tiger is rough.[(((((triple10 triple9) -> rule6) triple5) -> rule2) OR ((((triple6 triple7) -> rule3) triple5) -> rule2) OR ((((triple10 ((triple8 triple7) -> rule1)) -> rule6) triple5) -> rule2))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
((triple6) -> (rule5 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is young.
("bear" "is" "young" "+")
triple5
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple6
The tiger is round.
("tiger" "is" "round" "+")
triple7
The tiger is young.
("tiger" "is" "young" "+")
triple8
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple9
((triple8 triple7) -> (rule1 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple10
The bear is kind.
("bear" "is" "kind" "+")
((triple6) -> (rule4 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple5 triple4) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
((triple5 ((triple6) -> (rule5 % int2))) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear likes the tiger.
("bear" "likes" "tiger" "+")
((triple10 triple9) -> (rule6 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
((triple6 triple7) -> (rule3 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
((triple10 ((triple8 triple7) -> (rule1 % int2))) -> (rule6 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
((((triple10 triple9) -> (rule6 % int2)) triple5) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
((((triple6 triple7) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
((((triple10 ((triple8 triple7) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int3