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