The bear chases the cow. The bear chases the rabbit. The bear eats the cow. The bear is red. The bear is round. The bear needs the rabbit. The cow eats the rabbit. The cow is big. The cow is nice. The cow is round. The cow needs the bear. The rabbit needs the cow. If someone is nice then they eat the bear. If someone needs the rabbit then the rabbit needs the bear. Kind, round people are nice. If someone is big and red then they need the cow. If someone needs the bear then they are red. If someone chases the cow and they eat the bear then they are kind. If someone needs the bear and the bear eats the rabbit then the bear eats the cow. If someone chases the cow and the cow needs the bear then they eat the bear.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
If someone is nice then they eat the bear.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "bear" "+"))
If someone needs the rabbit then the rabbit needs the bear.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "needs" "bear" "+"))
Kind, round people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and red then they need the cow.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "needs" "cow" "+"))
If someone needs the bear then they are red.
((("someone" "needs" "bear" "+")) -> ("someone" "is" "red" "+"))
If someone chases the cow and they eat the bear then they are kind.
((("someone" "chases" "cow" "+") ("someone" "eats" "bear" "+")) -> ("someone" "is" "kind" "+"))
If someone needs the bear and the bear eats the rabbit then the bear eats the cow.
((("someone" "needs" "bear" "+") ("bear" "eats" "rabbit" "+")) -> ("bear" "eats" "cow" "+"))
If someone chases the cow and the cow needs the bear then they eat the bear.
((("someone" "chases" "cow" "+") ("cow" "needs" "bear" "+")) -> ("someone" "eats" "bear" "+"))
The bear chases the rabbit.
True
1
proof
[(triple2)]
("bear" "chases" "rabbit" "+")
triple2
The rabbit does not need the cow.
False
1
inv-proof
[(triple12)]
("rabbit" "needs" "cow" "-")
triple12
The rabbit needs the bear.
True
2
proof
[(((triple6) -> rule2))]
("rabbit" "needs" "bear" "+")
((triple6) -> (rule2 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit does not need the bear.
False
2
inv-proof
[(((triple6) -> rule2))]
("rabbit" "needs" "bear" "-")
((triple6) -> (rule2 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The bear is kind.
True
5
proof
[(((triple1 ((triple1 triple11) -> rule8)) -> rule6))]
("bear" "is" "kind" "+")
((triple1 ((triple1 triple11) -> (rule8 % int2))) -> (rule6 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The rabbit is not red.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule5))]
("rabbit" "is" "red" "-")
((((triple6) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The bear is nice.
True
7
proof
[(((((triple1 ((triple1 triple11) -> rule8)) -> rule6) triple5) -> rule3))]
("bear" "is" "nice" "+")
((((triple1 ((triple1 triple11) -> (rule8 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear is not nice.
False
7
inv-proof
[(((((triple1 ((triple1 triple11) -> rule8)) -> rule6) triple5) -> rule3))]
("bear" "is" "nice" "-")
((((triple1 ((triple1 triple11) -> (rule8 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The rabbit does not eat the bear.
Unknown
inv-rconc
[@2: The rabbit eats the bear.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("rabbit" "eats" "bear" "-")
The bear needs the cow.
Unknown
rconc
[@1: The bear needs the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "needs" "cow" "+")
The cow is not kind.
Unknown
inv-rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "kind" "-")
The rabbit is nice.
Unknown
rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "nice" "+")
The cow does not chase the bear.
Unknown
inv-random
[@0: The cow chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bear" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the cow.[(triple1)] The bear chases the rabbit.[(triple2)] The bear eats the cow.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)] The bear needs the rabbit.[(triple6)] The cow eats the rabbit.[(triple7)] The cow is big.[(triple8)] The cow is nice.[(triple9)] The cow is round.[(triple10)] The cow needs the bear.[(triple11)] The rabbit needs the cow.[(triple12)] @1: The bear eats the bear.[(((triple1 triple11) -> rule8))] The cow eats the bear.[(((triple9) -> rule1))] The cow is red.[(((triple11) -> rule5))] The rabbit needs the bear.[(((triple6) -> rule2))] @2: The bear is kind.[(((triple1 ((triple1 triple11) -> rule8)) -> rule6))] The cow needs the cow.[(((triple8 ((triple11) -> rule5)) -> rule4))] The rabbit is red.[(((((triple6) -> rule2)) -> rule5))] @3: The bear is nice.[(((((triple1 ((triple1 triple11) -> rule8)) -> rule6) triple5) -> rule3))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple2
The bear eats the cow.
("bear" "eats" "cow" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple6
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple7
The cow is big.
("cow" "is" "big" "+")
triple8
The cow is nice.
("cow" "is" "nice" "+")
triple9
The cow is round.
("cow" "is" "round" "+")
triple10
The cow needs the bear.
("cow" "needs" "bear" "+")
triple11
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple12
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple1 triple11) -> (rule8 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
((triple9) -> (rule1 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is red.
("cow" "is" "red" "+")
((triple11) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
((triple6) -> (rule2 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
((triple1 ((triple1 triple11) -> (rule8 % int2))) -> (rule6 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The cow needs the cow.
("cow" "needs" "cow" "+")
((triple8 ((triple11) -> (rule5 % int2))) -> (rule4 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
((((triple6) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
((((triple1 ((triple1 triple11) -> (rule8 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3