The bear does not eat the cow. The bear eats the rabbit. The bear visits the rabbit. The cow does not eat the bear. The cow eats the squirrel. The cow is not big. The cow needs the squirrel. The rabbit does not eat the cow. The rabbit is kind. The rabbit needs the cow. The rabbit does not need the squirrel. The rabbit visits the bear. The squirrel needs the bear. The squirrel needs the cow. If someone visits the rabbit and the rabbit does not visit the bear then the bear visits the squirrel. Red people are big. If someone eats the rabbit and the rabbit visits the squirrel then they are big. If someone needs the rabbit and the rabbit does not eat the bear then the bear eats the cow. If someone is big and they need the cow then the cow is nice. All big people are not round. If someone needs the cow and they do not need the squirrel then they are red. If someone eats the rabbit and the rabbit is big then they are red.
The bear does not eat the cow.
("bear" "eats" "cow" "-")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cow does not eat the bear.
("cow" "eats" "bear" "-")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is not big.
("cow" "is" "big" "-")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The rabbit does not eat the cow.
("rabbit" "eats" "cow" "-")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit does not need the squirrel.
("rabbit" "needs" "squirrel" "-")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If someone visits the rabbit and the rabbit does not visit the bear then the bear visits the squirrel.
((("someone" "visits" "rabbit" "+") ("rabbit" "visits" "bear" "~")) -> ("bear" "visits" "squirrel" "+"))
Red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone eats the rabbit and the rabbit visits the squirrel then they are big.
((("someone" "eats" "rabbit" "+") ("rabbit" "visits" "squirrel" "+")) -> ("someone" "is" "big" "+"))
If someone needs the rabbit and the rabbit does not eat the bear then the bear eats the cow.
((("someone" "needs" "rabbit" "+") ("rabbit" "eats" "bear" "~")) -> ("bear" "eats" "cow" "+"))
If someone is big and they need the cow then the cow is nice.
((("someone" "is" "big" "+") ("someone" "needs" "cow" "+")) -> ("cow" "is" "nice" "+"))
All big people are not round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "-"))
If someone needs the cow and they do not need the squirrel then they are red.
((("someone" "needs" "cow" "+") ("someone" "needs" "squirrel" "~")) -> ("someone" "is" "red" "+"))
If someone eats the rabbit and the rabbit is big then they are red.
((("someone" "eats" "rabbit" "+") ("rabbit" "is" "big" "+")) -> ("someone" "is" "red" "+"))
The cow does not eat the bear.
True
1
proof
[(triple4)]
("cow" "eats" "bear" "-")
triple4
The bear does not eat the rabbit.
False
1
inv-proof
[(triple2)]
("bear" "eats" "rabbit" "-")
triple2
The rabbit is red.
True
3
proof
[(((triple10 triple11) -> rule7))]
("rabbit" "is" "red" "+")
((triple10 triple11) -> (rule7 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is not red.
False
3
inv-proof
[(((triple10 triple11) -> rule7))]
("rabbit" "is" "red" "-")
((triple10 triple11) -> (rule7 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
True
4
proof
[(((((triple10 triple11) -> rule7)) -> rule2))]
("rabbit" "is" "big" "+")
((((triple10 triple11) -> (rule7 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit is not big.
False
4
inv-proof
[(((((triple10 triple11) -> rule7)) -> rule2))]
("rabbit" "is" "big" "-")
((((triple10 triple11) -> (rule7 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit is not round.
True
5
proof
[(((((((triple10 triple11) -> rule7)) -> rule2)) -> rule6))]
("rabbit" "is" "round" "-")
((((((triple10 triple11) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is not round.
("rabbit" "is" "round" "-")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
The cow is not nice.
False
6
inv-proof
[(((((((triple10 triple11) -> rule7)) -> rule2) triple10) -> rule5))]
("cow" "is" "nice" "-")
((((((triple10 triple11) -> (rule7 % int3))) -> (rule2 % int2)) triple10) -> (rule5 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
The bear is big.
True
7
proof
[(((((triple2 ((((triple10 triple11) -> rule7)) -> rule2)) -> rule8)) -> rule2))]
("bear" "is" "big" "+")
((((triple2 ((((triple10 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is red.
("rabbit" "is" "red" "+")
int4
The bear is not big.
False
7
inv-proof
[(((((triple2 ((((triple10 triple11) -> rule7)) -> rule2)) -> rule8)) -> rule2))]
("bear" "is" "big" "-")
((((triple2 ((((triple10 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is red.
("rabbit" "is" "red" "+")
int4
The bear is not round.
True
8
proof
[(((((((triple2 ((((triple10 triple11) -> rule7)) -> rule2)) -> rule8)) -> rule2)) -> rule6))]
("bear" "is" "round" "-")
((((((triple2 ((((triple10 triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear is not round.
("bear" "is" "round" "-")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is red.
("rabbit" "is" "red" "+")
int5
The bear is round.
False
8
inv-proof
[(((((((triple2 ((((triple10 triple11) -> rule7)) -> rule2)) -> rule8)) -> rule2)) -> rule6))]
("bear" "is" "round" "+")
((((((triple2 ((((triple10 triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear is not round.
("bear" "is" "round" "-")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is red.
("rabbit" "is" "red" "+")
int5
The squirrel is not big.
Unknown
inv-rconc
[@2: The squirrel is big.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("squirrel" "is" "big" "-")
The squirrel is red.
Unknown
rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "red" "+")
The cow is not red.
Unknown
inv-rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "is" "red" "-")
The bear visits the squirrel.
Unknown
rconc
[@1: The bear visits the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "squirrel" "+")
The squirrel does not visit the cow.
Unknown
inv-random
[@0: The squirrel visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "cow" "-")
The cow eats the rabbit.
Unknown
random
[@0: The cow eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "rabbit" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The cow does not need the rabbit.
Unknown
inv-random
[@0: The cow needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "rabbit" "-")
The rabbit eats the squirrel.
Unknown
random
[@0: The rabbit eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "squirrel" "+")
The bear does not need the rabbit.
Unknown
inv-random
[@0: The bear needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "rabbit" "-")
The cow visits the bear.
Unknown
random
[@0: The cow visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "bear" "+")
@0: The bear does not eat the cow.[(triple1)] The bear eats the rabbit.[(triple2)] The bear visits the rabbit.[(triple3)] The cow does not eat the bear.[(triple4)] The cow eats the squirrel.[(triple5)] The cow is not big.[(triple6)] The cow needs the squirrel.[(triple7)] The rabbit does not eat the cow.[(triple8)] The rabbit does not need the squirrel.[(triple11)] The rabbit is kind.[(triple9)] The rabbit needs the cow.[(triple10)] The rabbit visits the bear.[(triple12)] The squirrel needs the bear.[(triple13)] The squirrel needs the cow.[(triple14)] @1: The rabbit is red.[(((triple10 triple11) -> rule7))] @2: The rabbit is big.[(((((triple10 triple11) -> rule7)) -> rule2))] @3: The bear is red.[(((triple2 ((((triple10 triple11) -> rule7)) -> rule2)) -> rule8))] The cow is nice.[(((((((triple10 triple11) -> rule7)) -> rule2) triple10) -> rule5))] The rabbit is not round.[(((((((triple10 triple11) -> rule7)) -> rule2)) -> rule6))] @4: The bear is big.[(((((triple2 ((((triple10 triple11) -> rule7)) -> rule2)) -> rule8)) -> rule2))] @5: The bear is not round.[(((((((triple2 ((((triple10 triple11) -> rule7)) -> rule2)) -> rule8)) -> rule2)) -> rule6))]
The bear does not eat the cow.
("bear" "eats" "cow" "-")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple3
The cow does not eat the bear.
("cow" "eats" "bear" "-")
triple4
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple5
The cow is not big.
("cow" "is" "big" "-")
triple6
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple7
The rabbit does not eat the cow.
("rabbit" "eats" "cow" "-")
triple8
The rabbit does not need the squirrel.
("rabbit" "needs" "squirrel" "-")
triple11
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple9
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple10
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple12
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple13
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple14
The rabbit is red.
("rabbit" "is" "red" "+")
((triple10 triple11) -> (rule7 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
((((triple10 triple11) -> (rule7 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The bear is red.
("bear" "is" "red" "+")
((triple2 ((((triple10 triple11) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
The cow is nice.
("cow" "is" "nice" "+")
((((((triple10 triple11) -> (rule7 % int3))) -> (rule2 % int2)) triple10) -> (rule5 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
The rabbit is not round.
("rabbit" "is" "round" "-")
((((((triple10 triple11) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is not round.
("rabbit" "is" "round" "-")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
The bear is big.
("bear" "is" "big" "+")
((((triple2 ((((triple10 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit is red.
("rabbit" "is" "red" "+")
int4
The bear is not round.
("bear" "is" "round" "-")
((((((triple2 ((((triple10 triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear is not round.
("bear" "is" "round" "-")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit is red.
("rabbit" "is" "red" "+")
int5