The bald eagle eats the squirrel. The bald eagle is rough. The bald eagle likes the squirrel. The squirrel eats the tiger. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel likes the tiger. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is nice. If the bald eagle is nice then the bald eagle eats the tiger. If someone is green and they like the squirrel then the squirrel chases the tiger. If someone chases the squirrel and the squirrel is rough then the squirrel is kind. If the squirrel is red then the squirrel chases the bald eagle. If someone is kind and nice then they chase the bald eagle. If someone is kind then they eat the tiger. All rough people are nice. If someone eats the tiger and they are rough then the tiger eats the bald eagle.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If the bald eagle is nice then the bald eagle eats the tiger.
((("bald eagle" "is" "nice" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If someone is green and they like the squirrel then the squirrel chases the tiger.
((("someone" "is" "green" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "chases" "tiger" "+"))
If someone chases the squirrel and the squirrel is rough then the squirrel is kind.
((("someone" "chases" "squirrel" "+") ("squirrel" "is" "rough" "+")) -> ("squirrel" "is" "kind" "+"))
If the squirrel is red then the squirrel chases the bald eagle.
((("squirrel" "is" "red" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If someone is kind and nice then they chase the bald eagle.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is kind then they eat the tiger.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "tiger" "+"))
All rough people are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the tiger and they are rough then the tiger eats the bald eagle.
((("someone" "eats" "tiger" "+") ("someone" "is" "rough" "+")) -> ("tiger" "eats" "bald eagle" "+"))
The squirrel is red.
True
1
proof
[(triple7)]
("squirrel" "is" "red" "+")
triple7
The bald eagle does not like the squirrel.
False
1
inv-proof
[(triple3)]
("bald eagle" "likes" "squirrel" "-")
triple3
The squirrel chases the bald eagle.
True
2
proof
[(((triple7) -> rule4) OR ((((triple10 triple8) -> rule3) triple6) -> rule5) OR ((((triple10 triple8) -> rule3) ((triple8) -> rule7)) -> rule5))]
("squirrel" "chases" "bald eagle" "+")
((triple7) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
((((triple10 triple8) -> (rule3 % int2)) triple6) -> (rule5 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
((((triple10 triple8) -> (rule3 % int3)) ((triple8) -> (rule7 % int2))) -> (rule5 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel does not chase the bald eagle.
False
2
inv-proof
[(((triple7) -> rule4) OR ((((triple10 triple8) -> rule3) triple6) -> rule5) OR ((((triple10 triple8) -> rule3) ((triple8) -> rule7)) -> rule5))]
("squirrel" "chases" "bald eagle" "-")
((triple7) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
((((triple10 triple8) -> (rule3 % int2)) triple6) -> (rule5 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
((((triple10 triple8) -> (rule3 % int3)) ((triple8) -> (rule7 % int2))) -> (rule5 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The bald eagle eats the tiger.
True
3
proof
[(((((triple2) -> rule7)) -> rule1))]
("bald eagle" "eats" "tiger" "+")
((((triple2) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle does not eat the tiger.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule1))]
("bald eagle" "eats" "tiger" "-")
((((triple2) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The tiger does not chase the bald eagle.
Unknown
inv-rconc
[@1: The tiger chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "chases" "bald eagle" "-")
The tiger eats the tiger.
Unknown
rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "eats" "tiger" "+")
The squirrel does not chase the tiger.
Unknown
inv-rconc
[@1: The squirrel chases the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "tiger" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The squirrel eats the tiger.[(triple4 OR ((((triple10 triple8) -> rule3)) -> rule6))] The squirrel is green.[(triple5)] The squirrel is nice.[(triple6 OR ((triple8) -> rule7))] The squirrel is red.[(triple7)] The squirrel is rough.[(triple8)] The squirrel likes the tiger.[(triple9)] The tiger chases the squirrel.[(triple10)] The tiger eats the squirrel.[(triple11)] The tiger is nice.[(triple12)] @1: The bald eagle is nice.[(((triple2) -> rule7))] The squirrel chases the bald eagle.[(((triple7) -> rule4) OR ((((triple10 triple8) -> rule3) triple6) -> rule5) OR ((((triple10 triple8) -> rule3) ((triple8) -> rule7)) -> rule5))] The squirrel is kind.[(((triple10 triple8) -> rule3))] The tiger eats the bald eagle.[(((triple4 triple8) -> rule8) OR ((((((triple2) -> rule7)) -> rule1) triple2) -> rule8) OR ((((((triple10 triple8) -> rule3)) -> rule6) triple8) -> rule8))] @2: The bald eagle eats the tiger.[(((((triple2) -> rule7)) -> rule1))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple4
((((triple10 triple8) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
triple5
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple6
((triple8) -> (rule7 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple8
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple9
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple10
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple2) -> (rule7 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
((triple7) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
((((triple10 triple8) -> (rule3 % int2)) triple6) -> (rule5 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
((((triple10 triple8) -> (rule3 % int3)) ((triple8) -> (rule7 % int2))) -> (rule5 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple10 triple8) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((triple4 triple8) -> (rule8 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
((((((triple2) -> (rule7 % int3))) -> (rule1 % int2)) triple2) -> (rule8 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((((((triple10 triple8) -> (rule3 % int3))) -> (rule6 % int2)) triple8) -> (rule8 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((((triple2) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2