The bear eats the rabbit. The bear is nice. The cow eats the bear. The cow visits the bear. The cow visits the rabbit. The rabbit eats the bear. The rabbit is red. The rabbit is round. The rabbit is young. The rabbit likes the bear. The rabbit likes the cow. The rabbit visits the cow. If something is red and it visits the bear then it eats the rabbit. If something visits the bear then it is green. If something is red and green then it likes the cow. If something is young and it eats the bear then it is green. If something likes the bear and the bear visits the cow then the bear likes the rabbit. If something is young and it likes the bear then the bear visits the cow. If something likes the bear and the bear eats the cow then the bear is round. If the bear eats the rabbit then the rabbit likes the cow.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is nice.
("bear" "is" "nice" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If something is red and it visits the bear then it eats the rabbit.
((("something" "is" "red" "+") ("something" "visits" "bear" "+")) -> ("something" "eats" "rabbit" "+"))
If something visits the bear then it is green.
((("something" "visits" "bear" "+")) -> ("something" "is" "green" "+"))
If something is red and green then it likes the cow.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "likes" "cow" "+"))
If something is young and it eats the bear then it is green.
((("something" "is" "young" "+") ("something" "eats" "bear" "+")) -> ("something" "is" "green" "+"))
If something likes the bear and the bear visits the cow then the bear likes the rabbit.
((("something" "likes" "bear" "+") ("bear" "visits" "cow" "+")) -> ("bear" "likes" "rabbit" "+"))
If something is young and it likes the bear then the bear visits the cow.
((("something" "is" "young" "+") ("something" "likes" "bear" "+")) -> ("bear" "visits" "cow" "+"))
If something likes the bear and the bear eats the cow then the bear is round.
((("something" "likes" "bear" "+") ("bear" "eats" "cow" "+")) -> ("bear" "is" "round" "+"))
If the bear eats the rabbit then the rabbit likes the cow.
((("bear" "eats" "rabbit" "+")) -> ("rabbit" "likes" "cow" "+"))
The cow eats the bear.
True
1
proof
[(triple3)]
("cow" "eats" "bear" "+")
triple3
The bear is not nice.
False
1
inv-proof
[(triple2)]
("bear" "is" "nice" "-")
triple2
The rabbit is green.
True
3
proof
[(((triple9 triple6) -> rule4))]
("rabbit" "is" "green" "+")
((triple9 triple6) -> (rule4 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The bear does not visit the cow.
False
3
inv-proof
[(((triple9 triple10) -> rule6))]
("bear" "visits" "cow" "-")
((triple9 triple10) -> (rule6 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear likes the rabbit.
True
5
proof
[(((triple10 ((triple9 triple10) -> rule6)) -> rule5))]
("bear" "likes" "rabbit" "+")
((triple10 ((triple9 triple10) -> (rule6 % int2))) -> (rule5 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
The bear does not like the rabbit.
False
5
inv-proof
[(((triple10 ((triple9 triple10) -> rule6)) -> rule5))]
("bear" "likes" "rabbit" "-")
((triple10 ((triple9 triple10) -> (rule6 % int2))) -> (rule5 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
The cow does not eat the rabbit.
Unknown
inv-rconc
[@1: The cow eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "rabbit" "-")
The rabbit eats the rabbit.
Unknown
rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "rabbit" "+")
The cow does not like the cow.
Unknown
inv-rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "likes" "cow" "-")
The bear visits the rabbit.
Unknown
random
[@0: The bear visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "rabbit" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The cow likes the bear.
Unknown
random
[@0: The cow likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bear" "+")
@0: The bear eats the rabbit.[(triple1)] The bear is nice.[(triple2)] The cow eats the bear.[(triple3)] The cow visits the bear.[(triple4)] The cow visits the rabbit.[(triple5)] The rabbit eats the bear.[(triple6)] The rabbit is red.[(triple7)] The rabbit is round.[(triple8)] The rabbit is young.[(triple9)] The rabbit likes the bear.[(triple10)] The rabbit likes the cow.[(triple11 OR ((triple1) -> rule8) OR ((triple7 ((triple9 triple6) -> rule4)) -> rule3))] The rabbit visits the cow.[(triple12)] @1: The bear visits the cow.[(((triple9 triple10) -> rule6))] The cow is green.[(((triple4) -> rule2))] The rabbit is green.[(((triple9 triple6) -> rule4))] @2: The bear likes the rabbit.[(((triple10 ((triple9 triple10) -> rule6)) -> rule5))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The cow eats the bear.
("cow" "eats" "bear" "+")
triple3
The cow visits the bear.
("cow" "visits" "bear" "+")
triple4
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple5
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple6
The rabbit is red.
("rabbit" "is" "red" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple10
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple11
((triple1) -> (rule8 % int1))
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
int1
((triple7 ((triple9 triple6) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple12
The bear visits the cow.
("bear" "visits" "cow" "+")
((triple9 triple10) -> (rule6 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The cow is green.
("cow" "is" "green" "+")
((triple4) -> (rule2 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
((triple9 triple6) -> (rule4 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
((triple10 ((triple9 triple10) -> (rule6 % int2))) -> (rule5 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2