The bald eagle eats the squirrel. The bald eagle is big. The bald eagle is kind. The bald eagle is nice. The bald eagle needs the cow. The bald eagle needs the squirrel. The bald eagle sees the cow. The bald eagle sees the squirrel. The cow is big. The cow is nice. The cow needs the squirrel. The cow sees the squirrel. The squirrel eats the cow. The squirrel needs the bald eagle. The squirrel needs the cow. If something is kind then it sees the bald eagle. If something sees the squirrel and the squirrel is big then the squirrel sees the cow. If something sees the cow then the cow eats the bald eagle. If the squirrel needs the cow then the squirrel is round. If the squirrel is round and the squirrel needs the bald eagle then the squirrel is big. If something is nice and it sees the squirrel then the squirrel is red. If something is nice then it needs the cow. Round things are nice.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If something is kind then it sees the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "sees" "bald eagle" "+"))
If something sees the squirrel and the squirrel is big then the squirrel sees the cow.
((("something" "sees" "squirrel" "+") ("squirrel" "is" "big" "+")) -> ("squirrel" "sees" "cow" "+"))
If something sees the cow then the cow eats the bald eagle.
((("something" "sees" "cow" "+")) -> ("cow" "eats" "bald eagle" "+"))
If the squirrel needs the cow then the squirrel is round.
((("squirrel" "needs" "cow" "+")) -> ("squirrel" "is" "round" "+"))
If the squirrel is round and the squirrel needs the bald eagle then the squirrel is big.
((("squirrel" "is" "round" "+") ("squirrel" "needs" "bald eagle" "+")) -> ("squirrel" "is" "big" "+"))
If something is nice and it sees the squirrel then the squirrel is red.
((("something" "is" "nice" "+") ("something" "sees" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
If something is nice then it needs the cow.
((("something" "is" "nice" "+")) -> ("something" "needs" "cow" "+"))
Round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
The cow is nice.
True
1
proof
[(triple10)]
("cow" "is" "nice" "+")
triple10
The cow is not nice.
False
1
inv-proof
[(triple10)]
("cow" "is" "nice" "-")
triple10
The squirrel is red.
True
3
proof
[(((triple10 triple12) -> rule6) OR ((triple4 triple8) -> rule6))]
("squirrel" "is" "red" "+")
((triple10 triple12) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((triple4 triple8) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple15) -> rule4))]
("squirrel" "is" "round" "-")
((triple15) -> (rule4 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is nice.
True
3
proof
[(((((triple15) -> rule4)) -> rule8))]
("squirrel" "is" "nice" "+")
((((triple15) -> (rule4 % int2))) -> (rule8 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is not nice.
False
3
inv-proof
[(((((triple15) -> rule4)) -> rule8))]
("squirrel" "is" "nice" "-")
((((triple15) -> (rule4 % int2))) -> (rule8 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel sees the cow.
True
6
proof
[(((triple12 ((((triple15) -> rule4) triple14) -> rule5)) -> rule2) OR ((triple8 ((((triple15) -> rule4) triple14) -> rule5)) -> rule2))]
("squirrel" "sees" "cow" "+")
((triple12 ((((triple15) -> (rule4 % int3)) triple14) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
((triple8 ((((triple15) -> (rule4 % int3)) triple14) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel does not see the cow.
False
6
inv-proof
[(((triple12 ((((triple15) -> rule4) triple14) -> rule5)) -> rule2) OR ((triple8 ((((triple15) -> rule4) triple14) -> rule5)) -> rule2))]
("squirrel" "sees" "cow" "-")
((triple12 ((((triple15) -> (rule4 % int3)) triple14) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
((triple8 ((((triple15) -> (rule4 % int3)) triple14) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel does not see the bald eagle.
Unknown
inv-rconc
[@1: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "bald eagle" "-")
The cow sees the bald eagle.
Unknown
rconc
[@1: The cow sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "bald eagle" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The squirrel does not eat the bald eagle.
Unknown
inv-random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle needs the cow.[(triple5 OR ((triple4) -> rule7))] The bald eagle needs the squirrel.[(triple6)] The bald eagle sees the cow.[(triple7)] The bald eagle sees the squirrel.[(triple8)] The cow is big.[(triple9)] The cow is nice.[(triple10)] The cow needs the squirrel.[(triple11)] The cow sees the squirrel.[(triple12)] The squirrel eats the cow.[(triple13)] The squirrel needs the bald eagle.[(triple14)] The squirrel needs the cow.[(triple15)] @1: The bald eagle sees the bald eagle.[(((triple3) -> rule1))] The cow eats the bald eagle.[(((triple7) -> rule3) OR ((((triple12 ((((triple15) -> rule4) triple14) -> rule5)) -> rule2)) -> rule3) OR ((((triple8 ((((triple15) -> rule4) triple14) -> rule5)) -> rule2)) -> rule3))] The cow needs the cow.[(((triple10) -> rule7))] The squirrel is red.[(((triple10 triple12) -> rule6) OR ((triple4 triple8) -> rule6))] The squirrel is round.[(((triple15) -> rule4))] @2: The squirrel is big.[(((((triple15) -> rule4) triple14) -> rule5))] The squirrel is nice.[(((((triple15) -> rule4)) -> rule8))] @3: The squirrel sees the cow.[(((triple12 ((((triple15) -> rule4) triple14) -> rule5)) -> rule2) OR ((triple8 ((((triple15) -> rule4) triple14) -> rule5)) -> rule2))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple5
((triple4) -> (rule7 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple6
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple7
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple8
The cow is big.
("cow" "is" "big" "+")
triple9
The cow is nice.
("cow" "is" "nice" "+")
triple10
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple11
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple12
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple13
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple14
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple15
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
((triple7) -> (rule3 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
((((triple12 ((((triple15) -> (rule4 % int4)) triple14) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
int4
((((triple8 ((((triple15) -> (rule4 % int4)) triple14) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
int4
The cow needs the cow.
("cow" "needs" "cow" "+")
((triple10) -> (rule7 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple10 triple12) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((triple4 triple8) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple15) -> (rule4 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
((((triple15) -> (rule4 % int2)) triple14) -> (rule5 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
((((triple15) -> (rule4 % int2))) -> (rule8 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
((triple12 ((((triple15) -> (rule4 % int3)) triple14) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
((triple8 ((((triple15) -> (rule4 % int3)) triple14) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3