The bear chases the squirrel. The bear eats the cow. The bear is green. The bear sees the cow. The cow chases the squirrel. The cow eats the bear. The cow is blue. The cow sees the bear. The rabbit is cold. The rabbit is nice. The rabbit does not see the bear. The rabbit sees the cow. The squirrel does not chase the bear. The squirrel chases the cow. The squirrel eats the rabbit. The squirrel is not blue. If someone is blue then they chase the cow. If someone is blue and nice then they do not see the squirrel. If the cow eats the bear then the bear is cold. If someone is nice and they eat the cow then they eat the bear. If someone eats the cow then they are nice. If someone sees the rabbit and the rabbit does not eat the bear then they are round.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is green.
("bear" "is" "green" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit does not see the bear.
("rabbit" "sees" "bear" "-")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
If someone is blue then they chase the cow.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "cow" "+"))
If someone is blue and nice then they do not see the squirrel.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "sees" "squirrel" "-"))
If the cow eats the bear then the bear is cold.
((("cow" "eats" "bear" "+")) -> ("bear" "is" "cold" "+"))
If someone is nice and they eat the cow then they eat the bear.
((("someone" "is" "nice" "+") ("someone" "eats" "cow" "+")) -> ("someone" "eats" "bear" "+"))
If someone eats the cow then they are nice.
((("someone" "eats" "cow" "+")) -> ("someone" "is" "nice" "+"))
If someone sees the rabbit and the rabbit does not eat the bear then they are round.
((("someone" "sees" "rabbit" "+") ("rabbit" "eats" "bear" "~")) -> ("someone" "is" "round" "+"))
The bear is green.
True
1
proof
[(triple3)]
("bear" "is" "green" "+")
triple3
The cow does not see the bear.
False
1
inv-proof
[(triple8)]
("cow" "sees" "bear" "-")
triple8
The cow chases the cow.
True
2
proof
[(((triple7) -> rule1))]
("cow" "chases" "cow" "+")
((triple7) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow does not chase the cow.
False
2
inv-proof
[(((triple7) -> rule1))]
("cow" "chases" "cow" "-")
((triple7) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The bear eats the bear.
True
4
proof
[(((((triple2) -> rule5) triple2) -> rule4))]
("bear" "eats" "bear" "+")
((((triple2) -> (rule5 % int2)) triple2) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear does not eat the bear.
False
4
inv-proof
[(((((triple2) -> rule5) triple2) -> rule4))]
("bear" "eats" "bear" "-")
((((triple2) -> (rule5 % int2)) triple2) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is not round.
Unknown
inv-rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "round" "-")
The rabbit eats the bear.
Unknown
rconc
[@1: The rabbit eats the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "eats" "bear" "+")
The squirrel does not eat the bear.
Unknown
inv-rconc
[@1: The squirrel eats the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "eats" "bear" "-")
The bear sees the squirrel.
Unknown
random
[@0: The bear sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "squirrel" "+")
The rabbit does not eat the squirrel.
Unknown
inv-random
[@0: The rabbit eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "squirrel" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The bear chases the squirrel.[(triple1)] The bear eats the cow.[(triple2)] The bear is green.[(triple3)] The bear sees the cow.[(triple4)] The cow chases the squirrel.[(triple5)] The cow eats the bear.[(triple6)] The cow is blue.[(triple7)] The cow sees the bear.[(triple8)] The rabbit does not see the bear.[(triple11)] The rabbit is cold.[(triple9)] The rabbit is nice.[(triple10)] The rabbit sees the cow.[(triple12)] The squirrel chases the cow.[(triple14)] The squirrel does not chase the bear.[(triple13)] The squirrel eats the rabbit.[(triple15)] The squirrel is not blue.[(triple16)] @1: The bear is cold.[(((triple6) -> rule3))] The bear is nice.[(((triple2) -> rule5))] The cow chases the cow.[(((triple7) -> rule1))] @2: The bear eats the bear.[(((((triple2) -> rule5) triple2) -> rule4))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear eats the cow.
("bear" "eats" "cow" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear sees the cow.
("bear" "sees" "cow" "+")
triple4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple5
The cow eats the bear.
("cow" "eats" "bear" "+")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The cow sees the bear.
("cow" "sees" "bear" "+")
triple8
The rabbit does not see the bear.
("rabbit" "sees" "bear" "-")
triple11
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple9
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple10
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple12
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple14
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
triple13
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple15
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple16
The bear is cold.
("bear" "is" "cold" "+")
((triple6) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
((triple2) -> (rule5 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple7) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
((((triple2) -> (rule5 % int2)) triple2) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2