The bald eagle visits the squirrel. The bear is big. The bear likes the cat. The cat eats the bear. The cat likes the bald eagle. The squirrel likes the bear. The squirrel visits the bald eagle. If someone likes the bald eagle then the bald eagle visits the bear. If someone is blue and they eat the bald eagle then they are red. If someone visits the bear and they like the bear then the bear is blue. If someone is round then they are rough. If someone visits the bear and they visit the squirrel then the squirrel visits the bear. If someone visits the cat then the cat is big. If someone is blue then they are round. If someone is big and they eat the cat then the cat is big.
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The bear is big.
("bear" "is" "big" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If someone likes the bald eagle then the bald eagle visits the bear.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "bear" "+"))
If someone is blue and they eat the bald eagle then they are red.
((("someone" "is" "blue" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "red" "+"))
If someone visits the bear and they like the bear then the bear is blue.
((("someone" "visits" "bear" "+") ("someone" "likes" "bear" "+")) -> ("bear" "is" "blue" "+"))
If someone is round then they are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone visits the bear and they visit the squirrel then the squirrel visits the bear.
((("someone" "visits" "bear" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "visits" "bear" "+"))
If someone visits the cat then the cat is big.
((("someone" "visits" "cat" "+")) -> ("cat" "is" "big" "+"))
If someone is blue then they are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is big and they eat the cat then the cat is big.
((("someone" "is" "big" "+") ("someone" "eats" "cat" "+")) -> ("cat" "is" "big" "+"))
The squirrel visits the bald eagle.
True
1
proof
[(triple7)]
("squirrel" "visits" "bald eagle" "+")
triple7
The squirrel does not like the bear.
False
1
inv-proof
[(triple6)]
("squirrel" "likes" "bear" "-")
triple6
The bald eagle visits the bear.
True
2
proof
[(((triple5) -> rule1))]
("bald eagle" "visits" "bear" "+")
((triple5) -> (rule1 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle does not visit the bear.
False
2
inv-proof
[(((triple5) -> rule1))]
("bald eagle" "visits" "bear" "-")
((triple5) -> (rule1 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The squirrel visits the bear.
True
4
proof
[(((((triple5) -> rule1) triple1) -> rule5))]
("squirrel" "visits" "bear" "+")
((((triple5) -> (rule1 % int2)) triple1) -> (rule5 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The squirrel does not visit the bear.
False
4
inv-proof
[(((((triple5) -> rule1) triple1) -> rule5))]
("squirrel" "visits" "bear" "-")
((((triple5) -> (rule1 % int2)) triple1) -> (rule5 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear is blue.
True
6
proof
[(((((((triple5) -> rule1) triple1) -> rule5) triple6) -> rule3))]
("bear" "is" "blue" "+")
((((((triple5) -> (rule1 % int3)) triple1) -> (rule5 % int2)) triple6) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int3
The bear is not blue.
False
6
inv-proof
[(((((((triple5) -> rule1) triple1) -> rule5) triple6) -> rule3))]
("bear" "is" "blue" "-")
((((((triple5) -> (rule1 % int3)) triple1) -> (rule5 % int2)) triple6) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int3
The bear is round.
True
7
proof
[(((((((((triple5) -> rule1) triple1) -> rule5) triple6) -> rule3)) -> rule7))]
("bear" "is" "round" "+")
((((((((triple5) -> (rule1 % int4)) triple1) -> (rule5 % int3)) triple6) -> (rule3 % int2))) -> (rule7 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int4
The bear is not round.
False
7
inv-proof
[(((((((((triple5) -> rule1) triple1) -> rule5) triple6) -> rule3)) -> rule7))]
("bear" "is" "round" "-")
((((((((triple5) -> (rule1 % int4)) triple1) -> (rule5 % int3)) triple6) -> (rule3 % int2))) -> (rule7 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int4
The bear is rough.
True
8
proof
[(((((((((((triple5) -> rule1) triple1) -> rule5) triple6) -> rule3)) -> rule7)) -> rule4))]
("bear" "is" "rough" "+")
((((((((((triple5) -> (rule1 % int5)) triple1) -> (rule5 % int4)) triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int4
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int5
The bear is not rough.
False
8
inv-proof
[(((((((((((triple5) -> rule1) triple1) -> rule5) triple6) -> rule3)) -> rule7)) -> rule4))]
("bear" "is" "rough" "-")
((((((((((triple5) -> (rule1 % int5)) triple1) -> (rule5 % int4)) triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int4
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int5
The cat is not big.
Unknown
inv-rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "big" "-")
The squirrel is red.
Unknown
rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "red" "+")
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "red" "-")
The cat is red.
Unknown
rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "red" "+")
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "is" "round" "-")
The bear is red.
Unknown
rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "red" "+")
The squirrel does not eat the cat.
Unknown
inv-random
[@0: The squirrel eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cat" "-")
The bear eats the squirrel.
Unknown
random
[@0: The bear eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "squirrel" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
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 squirrel does not like the bald eagle.
Unknown
inv-random
[@0: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bald eagle" "-")
The bear eats the bald eagle.
Unknown
random
[@0: The bear eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bald eagle" "+")
@0: The bald eagle visits the squirrel.[(triple1)] The bear is big.[(triple2)] The bear likes the cat.[(triple3)] The cat eats the bear.[(triple4)] The cat likes the bald eagle.[(triple5)] The squirrel likes the bear.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The bald eagle visits the bear.[(((triple5) -> rule1))] @2: The squirrel visits the bear.[(((((triple5) -> rule1) triple1) -> rule5))] @3: The bear is blue.[(((((((triple5) -> rule1) triple1) -> rule5) triple6) -> rule3))] @4: The bear is round.[(((((((((triple5) -> rule1) triple1) -> rule5) triple6) -> rule3)) -> rule7))] @5: The bear is rough.[(((((((((((triple5) -> rule1) triple1) -> rule5) triple6) -> rule3)) -> rule7)) -> rule4))]
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear likes the cat.
("bear" "likes" "cat" "+")
triple3
The cat eats the bear.
("cat" "eats" "bear" "+")
triple4
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple5
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple6
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple7
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((triple5) -> (rule1 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
((((triple5) -> (rule1 % int2)) triple1) -> (rule5 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
((((((triple5) -> (rule1 % int3)) triple1) -> (rule5 % int2)) triple6) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int3
The bear is round.
("bear" "is" "round" "+")
((((((((triple5) -> (rule1 % int4)) triple1) -> (rule5 % int3)) triple6) -> (rule3 % int2))) -> (rule7 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int4
The bear is rough.
("bear" "is" "rough" "+")
((((((((((triple5) -> (rule1 % int5)) triple1) -> (rule5 % int4)) triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int4
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int5