The bald eagle is round. The bald eagle is young. The cat eats the squirrel. The cat is big. The cat is cold. The cat is young. The cat sees the bald eagle. The cat sees the squirrel. The cat visits the bald eagle. The cow is big. The cow visits the bald eagle. The cow visits the cat. The squirrel eats the cow. The squirrel is not big. If someone is blue and they see the cow then the cow sees the bald eagle. If someone visits the cat then the cat is cold. If someone sees the bald eagle then they are round. If the cow visits the cat and the cow is blue then the cat visits the cow. If someone is round then they see the cow. If the cat visits the bald eagle and the bald eagle eats the squirrel then the cat is blue. If someone eats the cat and they do not see the cat then the cat is not blue. If someone is young then they eat the squirrel.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is young.
("cat" "is" "young" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cow is big.
("cow" "is" "big" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is not big.
("squirrel" "is" "big" "-")
If someone is blue and they see the cow then the cow sees the bald eagle.
((("someone" "is" "blue" "+") ("someone" "sees" "cow" "+")) -> ("cow" "sees" "bald eagle" "+"))
If someone visits the cat then the cat is cold.
((("someone" "visits" "cat" "+")) -> ("cat" "is" "cold" "+"))
If someone sees the bald eagle then they are round.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "round" "+"))
If the cow visits the cat and the cow is blue then the cat visits the cow.
((("cow" "visits" "cat" "+") ("cow" "is" "blue" "+")) -> ("cat" "visits" "cow" "+"))
If someone is round then they see the cow.
((("someone" "is" "round" "+")) -> ("someone" "sees" "cow" "+"))
If the cat visits the bald eagle and the bald eagle eats the squirrel then the cat is blue.
((("cat" "visits" "bald eagle" "+") ("bald eagle" "eats" "squirrel" "+")) -> ("cat" "is" "blue" "+"))
If someone eats the cat and they do not see the cat then the cat is not blue.
((("someone" "eats" "cat" "+") ("someone" "sees" "cat" "~")) -> ("cat" "is" "blue" "-"))
If someone is young then they eat the squirrel.
((("someone" "is" "young" "+")) -> ("someone" "eats" "squirrel" "+"))
The cat visits the bald eagle.
True
1
proof
[(triple9)]
("cat" "visits" "bald eagle" "+")
triple9
The cat does not visit the bald eagle.
False
1
inv-proof
[(triple9)]
("cat" "visits" "bald eagle" "-")
triple9
The bald eagle eats the squirrel.
True
2
proof
[(((triple2) -> rule8))]
("bald eagle" "eats" "squirrel" "+")
((triple2) -> (rule8 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle does not see the cow.
False
2
inv-proof
[(((triple1) -> rule5))]
("bald eagle" "sees" "cow" "-")
((triple1) -> (rule5 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The cat is blue.
True
4
proof
[(((triple9 ((triple2) -> rule8)) -> rule6))]
("cat" "is" "blue" "+")
((triple9 ((triple2) -> (rule8 % int2))) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int2
The cat is not blue.
False
4
inv-proof
[(((triple9 ((triple2) -> rule8)) -> rule6))]
("cat" "is" "blue" "-")
((triple9 ((triple2) -> (rule8 % int2))) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int2
The cow sees the bald eagle.
True
8
proof
[(((((triple9 ((triple2) -> rule8)) -> rule6) ((((triple7) -> rule3)) -> rule5)) -> rule1))]
("cow" "sees" "bald eagle" "+")
((((triple9 ((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The cat is blue.
("cat" "is" "blue" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The cow does not see the bald eagle.
False
8
inv-proof
[(((((triple9 ((triple2) -> rule8)) -> rule6) ((((triple7) -> rule3)) -> rule5)) -> rule1))]
("cow" "sees" "bald eagle" "-")
((((triple9 ((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The cat is blue.
("cat" "is" "blue" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The cow is round.
True
9
proof
[(((((((triple9 ((triple2) -> rule8)) -> rule6) ((((triple7) -> rule3)) -> rule5)) -> rule1)) -> rule3))]
("cow" "is" "round" "+")
((((((triple9 ((triple2) -> (rule8 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The cat sees the cow.
("cat" "sees" "cow" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The cat is blue.
("cat" "is" "blue" "+")
int5
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int6
The cow is not round.
False
9
inv-proof
[(((((((triple9 ((triple2) -> rule8)) -> rule6) ((((triple7) -> rule3)) -> rule5)) -> rule1)) -> rule3))]
("cow" "is" "round" "-")
((((((triple9 ((triple2) -> (rule8 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The cat sees the cow.
("cat" "sees" "cow" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The cat is blue.
("cat" "is" "blue" "+")
int5
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int6
The cow sees the cow.
True
10
proof
[(((((((((triple9 ((triple2) -> rule8)) -> rule6) ((((triple7) -> rule3)) -> rule5)) -> rule1)) -> rule3)) -> rule5))]
("cow" "sees" "cow" "+")
((((((((triple9 ((triple2) -> (rule8 % int7))) -> (rule6 % int6)) ((((triple7) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cat sees the cow.
("cat" "sees" "cow" "+")
int4
The cat is round.
("cat" "is" "round" "+")
int5
The cat is blue.
("cat" "is" "blue" "+")
int6
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int7
The cow does not see the cow.
False
10
inv-proof
[(((((((((triple9 ((triple2) -> rule8)) -> rule6) ((((triple7) -> rule3)) -> rule5)) -> rule1)) -> rule3)) -> rule5))]
("cow" "sees" "cow" "-")
((((((((triple9 ((triple2) -> (rule8 % int7))) -> (rule6 % int6)) ((((triple7) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cat sees the cow.
("cat" "sees" "cow" "+")
int4
The cat is round.
("cat" "is" "round" "+")
int5
The cat is blue.
("cat" "is" "blue" "+")
int6
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int7
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel is round.
Unknown
rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "round" "+")
The cat does not visit the cow.
Unknown
inv-rconc
[@1: The cat visits the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "visits" "cow" "-")
The cow eats the squirrel.
Unknown
rconc
[@1: The cow eats the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "eats" "squirrel" "+")
The squirrel does not see the cow.
Unknown
inv-rconc
[@2: The squirrel sees the cow.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("squirrel" "sees" "cow" "-")
The squirrel eats the bald eagle.
Unknown
random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "+")
The bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The bald eagle does not see the squirrel.
Unknown
inv-random
[@0: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "squirrel" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cow eats the bald eagle.
Unknown
random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle is young.[(triple2)] The cat eats the squirrel.[(triple3 OR ((triple6) -> rule8))] The cat is big.[(triple4)] The cat is cold.[(triple5 OR ((triple12) -> rule2))] The cat is young.[(triple6)] The cat sees the bald eagle.[(triple7)] The cat sees the squirrel.[(triple8)] The cat visits the bald eagle.[(triple9)] The cow is big.[(triple10)] The cow visits the bald eagle.[(triple11)] The cow visits the cat.[(triple12)] The squirrel eats the cow.[(triple13)] The squirrel is not big.[(triple14)] @1: The bald eagle eats the squirrel.[(((triple2) -> rule8))] The bald eagle sees the cow.[(((triple1) -> rule5))] The cat is round.[(((triple7) -> rule3))] @2: The cat is blue.[(((triple9 ((triple2) -> rule8)) -> rule6))] The cat sees the cow.[(((((triple7) -> rule3)) -> rule5))] @3: The cow sees the bald eagle.[(((((triple9 ((triple2) -> rule8)) -> rule6) ((((triple7) -> rule3)) -> rule5)) -> rule1))] @4: The cow is round.[(((((((triple9 ((triple2) -> rule8)) -> rule6) ((((triple7) -> rule3)) -> rule5)) -> rule1)) -> rule3))] @5: The cow sees the cow.[(((((((((triple9 ((triple2) -> rule8)) -> rule6) ((((triple7) -> rule3)) -> rule5)) -> rule1)) -> rule3)) -> rule5))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple3
((triple6) -> (rule8 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat is big.
("cat" "is" "big" "+")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple5
((triple12) -> (rule2 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is young.
("cat" "is" "young" "+")
triple6
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple7
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple8
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple9
The cow is big.
("cow" "is" "big" "+")
triple10
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple11
The cow visits the cat.
("cow" "visits" "cat" "+")
triple12
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple13
The squirrel is not big.
("squirrel" "is" "big" "-")
triple14
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
((triple2) -> (rule8 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
((triple1) -> (rule5 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The cat is round.
("cat" "is" "round" "+")
((triple7) -> (rule3 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
((triple9 ((triple2) -> (rule8 % int2))) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int2
The cat sees the cow.
("cat" "sees" "cow" "+")
((((triple7) -> (rule3 % int2))) -> (rule5 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((((triple9 ((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The cat is blue.
("cat" "is" "blue" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int5
The cow is round.
("cow" "is" "round" "+")
((((((triple9 ((triple2) -> (rule8 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The cat sees the cow.
("cat" "sees" "cow" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The cat is blue.
("cat" "is" "blue" "+")
int5
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int6
The cow sees the cow.
("cow" "sees" "cow" "+")
((((((((triple9 ((triple2) -> (rule8 % int7))) -> (rule6 % int6)) ((((triple7) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cat sees the cow.
("cat" "sees" "cow" "+")
int4
The cat is round.
("cat" "is" "round" "+")
int5
The cat is blue.
("cat" "is" "blue" "+")
int6
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int7