The bear chases the rabbit. The bear eats the rabbit. The bear is nice. The bear is rough. The bear is round. The bear is young. The bear likes the rabbit. The rabbit eats the bear. The rabbit is young. The rabbit likes the bear. If the rabbit chases the bear and the bear chases the rabbit then the bear is rough. If something likes the bear then it chases the rabbit. If something eats the rabbit then it likes the bear. If something eats the rabbit and the rabbit is nice then the rabbit chases the bear. If something eats the rabbit and it is green then it chases the rabbit. If something eats the bear then the bear is round. If something chases the rabbit and the rabbit eats the bear then it is nice. If the bear eats the rabbit and the bear is green then the bear likes the rabbit.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
If the rabbit chases the bear and the bear chases the rabbit then the bear is rough.
((("rabbit" "chases" "bear" "+") ("bear" "chases" "rabbit" "+")) -> ("bear" "is" "rough" "+"))
If something likes the bear then it chases the rabbit.
((("something" "likes" "bear" "+")) -> ("something" "chases" "rabbit" "+"))
If something eats the rabbit then it likes the bear.
((("something" "eats" "rabbit" "+")) -> ("something" "likes" "bear" "+"))
If something eats the rabbit and the rabbit is nice then the rabbit chases the bear.
((("something" "eats" "rabbit" "+") ("rabbit" "is" "nice" "+")) -> ("rabbit" "chases" "bear" "+"))
If something eats the rabbit and it is green then it chases the rabbit.
((("something" "eats" "rabbit" "+") ("something" "is" "green" "+")) -> ("something" "chases" "rabbit" "+"))
If something eats the bear then the bear is round.
((("something" "eats" "bear" "+")) -> ("bear" "is" "round" "+"))
If something chases the rabbit and the rabbit eats the bear then it is nice.
((("something" "chases" "rabbit" "+") ("rabbit" "eats" "bear" "+")) -> ("something" "is" "nice" "+"))
If the bear eats the rabbit and the bear is green then the bear likes the rabbit.
((("bear" "eats" "rabbit" "+") ("bear" "is" "green" "+")) -> ("bear" "likes" "rabbit" "+"))
The rabbit is young.
True
1
proof
[(triple9)]
("rabbit" "is" "young" "+")
triple9
The bear is not rough.
False
1
inv-proof
[(triple4 OR ((((triple2 ((((triple10) -> rule2) triple8) -> rule7)) -> rule4) triple1) -> rule1) OR ((((triple2 ((((triple10) -> rule2) triple8) -> rule7)) -> rule4) ((((triple2) -> rule3)) -> rule2)) -> rule1))]
("bear" "is" "rough" "-")
triple4
((((triple2 ((((triple10) -> (rule2 % int4)) triple8) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int4
((((triple2 ((((triple10) -> (rule2 % int6)) triple8) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
int3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int4
The rabbit is nice.
("rabbit" "is" "nice" "+")
int5
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int6
The bear likes the bear.
True
2
proof
[(((triple2) -> rule3))]
("bear" "likes" "bear" "+")
((triple2) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not like the bear.
False
2
inv-proof
[(((triple2) -> rule3))]
("bear" "likes" "bear" "-")
((triple2) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The rabbit is nice.
True
4
proof
[(((((triple10) -> rule2) triple8) -> rule7))]
("rabbit" "is" "nice" "+")
((((triple10) -> (rule2 % int2)) triple8) -> (rule7 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit is not nice.
False
4
inv-proof
[(((((triple10) -> rule2) triple8) -> rule7))]
("rabbit" "is" "nice" "-")
((((triple10) -> (rule2 % int2)) triple8) -> (rule7 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit chases the bear.
True
6
proof
[(((triple2 ((((triple10) -> rule2) triple8) -> rule7)) -> rule4))]
("rabbit" "chases" "bear" "+")
((triple2 ((((triple10) -> (rule2 % int3)) triple8) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The rabbit does not chase the bear.
False
6
inv-proof
[(((triple2 ((((triple10) -> rule2) triple8) -> rule7)) -> rule4))]
("rabbit" "chases" "bear" "-")
((triple2 ((((triple10) -> (rule2 % int3)) triple8) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The bear chases the rabbit.[(triple1 OR ((((triple2) -> rule3)) -> rule2))] The bear eats the rabbit.[(triple2)] The bear is nice.[(triple3 OR ((triple1 triple8) -> rule7) OR ((((((triple2) -> rule3)) -> rule2) triple8) -> rule7))] The bear is rough.[(triple4 OR ((((triple2 ((((triple10) -> rule2) triple8) -> rule7)) -> rule4) triple1) -> rule1) OR ((((triple2 ((((triple10) -> rule2) triple8) -> rule7)) -> rule4) ((((triple2) -> rule3)) -> rule2)) -> rule1))] The bear is round.[(triple5 OR ((triple8) -> rule6))] The bear is young.[(triple6)] The bear likes the rabbit.[(triple7)] The rabbit eats the bear.[(triple8)] The rabbit is young.[(triple9)] The rabbit likes the bear.[(triple10)] @1: The bear likes the bear.[(((triple2) -> rule3))] The rabbit chases the rabbit.[(((triple10) -> rule2))] @2: The rabbit is nice.[(((((triple10) -> rule2) triple8) -> rule7))] @3: The rabbit chases the bear.[(((triple2 ((((triple10) -> rule2) triple8) -> rule7)) -> rule4))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
((triple1 triple8) -> (rule7 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((((((triple2) -> (rule3 % int3))) -> (rule2 % int2)) triple8) -> (rule7 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
triple4
((((triple2 ((((triple10) -> (rule2 % int4)) triple8) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int4
((((triple2 ((((triple10) -> (rule2 % int6)) triple8) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
int3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int4
The rabbit is nice.
("rabbit" "is" "nice" "+")
int5
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int6
The bear is round.
("bear" "is" "round" "+")
triple5
((triple8) -> (rule6 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is young.
("bear" "is" "young" "+")
triple6
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple7
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple10
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple2) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple10) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
((((triple10) -> (rule2 % int2)) triple8) -> (rule7 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((triple2 ((((triple10) -> (rule2 % int3)) triple8) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3