The bald eagle chases the squirrel. The bald eagle eats the rabbit. The bald eagle eats the squirrel. The rabbit eats the squirrel. The rabbit is big. The rabbit is round. The rabbit visits the squirrel. The squirrel is blue. The squirrel is round. The squirrel visits the rabbit. If something is blue and it eats the squirrel then the squirrel visits the bald eagle. If something is nice then it is blue. If something eats the rabbit and the rabbit is blue then the rabbit is cold. Round things are nice. If something eats the rabbit then the rabbit is round. If something visits the bald eagle then the bald eagle is big.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something is blue and it eats the squirrel then the squirrel visits the bald eagle.
((("something" "is" "blue" "+") ("something" "eats" "squirrel" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
If something is nice then it is blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If something eats the rabbit and the rabbit is blue then the rabbit is cold.
((("something" "eats" "rabbit" "+") ("rabbit" "is" "blue" "+")) -> ("rabbit" "is" "cold" "+"))
Round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something eats the rabbit then the rabbit is round.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If something visits the bald eagle then the bald eagle is big.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
The bald eagle eats the rabbit.
True
1
proof
[(triple2)]
("bald eagle" "eats" "rabbit" "+")
triple2
The squirrel does not visit the rabbit.
False
1
inv-proof
[(triple10)]
("squirrel" "visits" "rabbit" "-")
triple10
The rabbit is nice.
True
2
proof
[(((triple6) -> rule4) OR ((((triple2) -> rule5)) -> rule4))]
("rabbit" "is" "nice" "+")
((triple6) -> (rule4 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The squirrel is not nice.
False
2
inv-proof
[(((triple9) -> rule4))]
("squirrel" "is" "nice" "-")
((triple9) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The rabbit is blue.
True
3
proof
[(((((triple6) -> rule4)) -> rule2) OR ((((((triple2) -> rule5)) -> rule4)) -> rule2))]
("rabbit" "is" "blue" "+")
((((triple6) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit is not blue.
False
3
inv-proof
[(((((triple6) -> rule4)) -> rule2) OR ((((((triple2) -> rule5)) -> rule4)) -> rule2))]
("rabbit" "is" "blue" "-")
((((triple6) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit is cold.
True
5
proof
[(((triple2 ((((triple6) -> rule4)) -> rule2)) -> rule3) OR ((triple2 ((((((triple2) -> rule5)) -> rule4)) -> rule2)) -> rule3))]
("rabbit" "is" "cold" "+")
((triple2 ((((triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
((triple2 ((((((triple2) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The squirrel does not visit the bald eagle.
False
5
inv-proof
[(((((((triple6) -> rule4)) -> rule2) triple4) -> rule1) OR ((((((((triple2) -> rule5)) -> rule4)) -> rule2) triple4) -> rule1))]
("squirrel" "visits" "bald eagle" "-")
((((((triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
((((((((triple2) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle is blue.
Unknown
rconc
[@2: The bald eagle is blue.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle visits the rabbit.
Unknown
random
[@0: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "rabbit" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The rabbit chases the squirrel.
Unknown
random
[@0: The rabbit chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "squirrel" "+")
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 rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle eats the squirrel.[(triple3)] The rabbit eats the squirrel.[(triple4)] The rabbit is big.[(triple5)] The rabbit is round.[(triple6 OR ((triple2) -> rule5))] The rabbit visits the squirrel.[(triple7)] The squirrel is blue.[(triple8 OR ((((triple9) -> rule4)) -> rule2))] The squirrel is round.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The rabbit is nice.[(((triple6) -> rule4) OR ((((triple2) -> rule5)) -> rule4))] The squirrel is nice.[(((triple9) -> rule4))] @2: The rabbit is blue.[(((((triple6) -> rule4)) -> rule2) OR ((((((triple2) -> rule5)) -> rule4)) -> rule2))] @3: The rabbit is cold.[(((triple2 ((((triple6) -> rule4)) -> rule2)) -> rule3) OR ((triple2 ((((((triple2) -> rule5)) -> rule4)) -> rule2)) -> rule3))] The squirrel visits the bald eagle.[(((((((triple6) -> rule4)) -> rule2) triple4) -> rule1) OR ((((((((triple2) -> rule5)) -> rule4)) -> rule2) triple4) -> rule1))] @4: The bald eagle is big.[(((((((((triple6) -> rule4)) -> rule2) triple4) -> rule1)) -> rule6) OR ((((((((((triple2) -> rule5)) -> rule4)) -> rule2) triple4) -> rule1)) -> rule6))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple3
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple4
The rabbit is big.
("rabbit" "is" "big" "+")
triple5
The rabbit is round.
("rabbit" "is" "round" "+")
triple6
((triple2) -> (rule5 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
((((triple9) -> (rule4 % int2))) -> (rule2 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
triple9
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple6) -> (rule4 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple9) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
((((triple6) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple2 ((((triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
((triple2 ((((((triple2) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((((((triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
((((((((triple2) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((((((triple6) -> (rule4 % int4))) -> (rule2 % int3)) triple4) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
((((((((((triple2) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple4) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
The rabbit is round.
("rabbit" "is" "round" "+")
int5