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