The bald eagle is nice. The bald eagle needs the cow. The bald eagle visits the cow. The bald eagle visits the squirrel. The cow is green. The cow is kind. The dog eats the squirrel. The dog needs the bald eagle. The dog visits the squirrel. The squirrel eats the cow. The squirrel eats the dog. If someone eats the cow then they need the squirrel. If someone eats the squirrel then the squirrel is green. If someone visits the bald eagle then they need the bald eagle. If someone is cold and they visit the squirrel then they eat the bald eagle. If the cow is big and the cow is kind then the cow eats the dog. All big people are cold. If someone is green and they visit the cow then they eat the bald eagle. If someone eats the dog then the dog is big. If someone eats the bald eagle and they are cold then the bald eagle eats the cow.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
If someone eats the cow then they need the squirrel.
((("someone" "eats" "cow" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone eats the squirrel then the squirrel is green.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
If someone visits the bald eagle then they need the bald eagle.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone is cold and they visit the squirrel then they eat the bald eagle.
((("someone" "is" "cold" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the cow is big and the cow is kind then the cow eats the dog.
((("cow" "is" "big" "+") ("cow" "is" "kind" "+")) -> ("cow" "eats" "dog" "+"))
All big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and they visit the cow then they eat the bald eagle.
((("someone" "is" "green" "+") ("someone" "visits" "cow" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the dog then the dog is big.
((("someone" "eats" "dog" "+")) -> ("dog" "is" "big" "+"))
If someone eats the bald eagle and they are cold then the bald eagle eats the cow.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "cold" "+")) -> ("bald eagle" "eats" "cow" "+"))
The bald eagle visits the squirrel.
True
1
proof
[(triple4)]
("bald eagle" "visits" "squirrel" "+")
triple4
The cow is not kind.
False
1
inv-proof
[(triple6)]
("cow" "is" "kind" "-")
triple6
The dog is big.
True
2
proof
[(((triple11) -> rule8))]
("dog" "is" "big" "+")
((triple11) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is not big.
False
2
inv-proof
[(((triple11) -> rule8))]
("dog" "is" "big" "-")
((triple11) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is cold.
True
3
proof
[(((((triple11) -> rule8)) -> rule6))]
("dog" "is" "cold" "+")
((((triple11) -> (rule8 % int2))) -> (rule6 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog is not cold.
False
3
inv-proof
[(((((triple11) -> rule8)) -> rule6))]
("dog" "is" "cold" "-")
((((triple11) -> (rule8 % int2))) -> (rule6 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog eats the bald eagle.
True
5
proof
[(((((((triple11) -> rule8)) -> rule6) triple9) -> rule4))]
("dog" "eats" "bald eagle" "+")
((((((triple11) -> (rule8 % int3))) -> (rule6 % int2)) triple9) -> (rule4 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog does not eat the bald eagle.
False
5
inv-proof
[(((((((triple11) -> rule8)) -> rule6) triple9) -> rule4))]
("dog" "eats" "bald eagle" "-")
((((((triple11) -> (rule8 % int3))) -> (rule6 % int2)) triple9) -> (rule4 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The bald eagle eats the cow.
True
9
proof
[(((((((((triple11) -> rule8)) -> rule6) triple9) -> rule4) ((((triple11) -> rule8)) -> rule6)) -> rule9))]
("bald eagle" "eats" "cow" "+")
((((((((triple11) -> (rule8 % int4))) -> (rule6 % int3)) triple9) -> (rule4 % int2)) ((((triple11) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule9 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The bald eagle does not eat the cow.
False
9
inv-proof
[(((((((((triple11) -> rule8)) -> rule6) triple9) -> rule4) ((((triple11) -> rule8)) -> rule6)) -> rule9))]
("bald eagle" "eats" "cow" "-")
((((((((triple11) -> (rule8 % int4))) -> (rule6 % int3)) triple9) -> (rule4 % int2)) ((((triple11) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule9 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The bald eagle needs the squirrel.
True
10
proof
[(((((((((((triple11) -> rule8)) -> rule6) triple9) -> rule4) ((((triple11) -> rule8)) -> rule6)) -> rule9)) -> rule1))]
("bald eagle" "needs" "squirrel" "+")
((((((((((triple11) -> (rule8 % int5))) -> (rule6 % int4)) triple9) -> (rule4 % int3)) ((((triple11) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule9 % int2))) -> (rule1 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The bald eagle does not need the squirrel.
False
10
inv-proof
[(((((((((((triple11) -> rule8)) -> rule6) triple9) -> rule4) ((((triple11) -> rule8)) -> rule6)) -> rule9)) -> rule1))]
("bald eagle" "needs" "squirrel" "-")
((((((((((triple11) -> (rule8 % int5))) -> (rule6 % int4)) triple9) -> (rule4 % int3)) ((((triple11) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule9 % int2))) -> (rule1 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5
The cow does not eat the dog.
Unknown
inv-rconc
[@1: The cow eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "eats" "dog" "-")
The cow eats the bald eagle.
Unknown
rconc
[@1: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "eats" "bald eagle" "+")
The dog does not need the squirrel.
Unknown
inv-rconc
[@1: The dog needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "squirrel" "-")
The cow is cold.
Unknown
rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "cold" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@2: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The squirrel needs the bald eagle.
Unknown
rconc
[@1: The squirrel needs the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "needs" "bald eagle" "+")
The dog does not eat the cow.
Unknown
inv-random
[@0: The dog eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "cow" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The cow is not nice.
Unknown
inv-random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "-")
The squirrel visits the bald eagle.
Unknown
random
[@0: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bald eagle" "+")
The dog does not visit the cow.
Unknown
inv-random
[@0: The dog visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cow" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle visits the cow.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The cow is green.[(triple5)] The cow is kind.[(triple6)] The dog eats the squirrel.[(triple7)] The dog needs the bald eagle.[(triple8)] The dog visits the squirrel.[(triple9)] The squirrel eats the cow.[(triple10)] The squirrel eats the dog.[(triple11)] @1: The dog is big.[(((triple11) -> rule8))] The squirrel is green.[(((triple7) -> rule2))] The squirrel needs the squirrel.[(((triple10) -> rule1))] @2: The dog is cold.[(((((triple11) -> rule8)) -> rule6))] @3: The dog eats the bald eagle.[(((((((triple11) -> rule8)) -> rule6) triple9) -> rule4))] @4: The bald eagle eats the cow.[(((((((((triple11) -> rule8)) -> rule6) triple9) -> rule4) ((((triple11) -> rule8)) -> rule6)) -> rule9))] @5: The bald eagle needs the squirrel.[(((((((((((triple11) -> rule8)) -> rule6) triple9) -> rule4) ((((triple11) -> rule8)) -> rule6)) -> rule9)) -> rule1))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow is kind.
("cow" "is" "kind" "+")
triple6
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple7
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple8
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple9
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple10
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple11
The dog is big.
("dog" "is" "big" "+")
((triple11) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((triple7) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple10) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
((((triple11) -> (rule8 % int2))) -> (rule6 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((((((triple11) -> (rule8 % int3))) -> (rule6 % int2)) triple9) -> (rule4 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
((((((((triple11) -> (rule8 % int4))) -> (rule6 % int3)) triple9) -> (rule4 % int2)) ((((triple11) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule9 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
((((((((((triple11) -> (rule8 % int5))) -> (rule6 % int4)) triple9) -> (rule4 % int3)) ((((triple11) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule9 % int2))) -> (rule1 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
The dog is big.
("dog" "is" "big" "+")
int5