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