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