The bald eagle is not blue. The bald eagle visits the bear. The bear eats the mouse. The bear is red. The bear does not visit the mouse. The cat eats the bear. The cat is blue. The cat is not cold. The cat is nice. The cat needs the bald eagle. The cat needs the bear. The cat visits the bald eagle. The cat visits the bear. The mouse eats the bald eagle. The mouse eats the bear. The mouse needs the cat. If something eats the bear and it is rough then the bear eats the cat. Red things are rough. If something visits the bear and the bear visits the mouse then the mouse needs the cat. If something visits the bear then it is red. If something eats the cat and it does not eat the mouse then the cat is cold. If something visits the mouse then the mouse visits the bear. If something is blue and nice then it visits the mouse. If something visits the cat and it does not need the bald eagle then it eats the bald eagle. If something is rough then it does not visit the cat.
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not visit the mouse.
("bear" "visits" "mouse" "-")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is not cold.
("cat" "is" "cold" "-")
The cat is nice.
("cat" "is" "nice" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
If something eats the bear and it is rough then the bear eats the cat.
((("something" "eats" "bear" "+") ("something" "is" "rough" "+")) -> ("bear" "eats" "cat" "+"))
Red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If something visits the bear and the bear visits the mouse then the mouse needs the cat.
((("something" "visits" "bear" "+") ("bear" "visits" "mouse" "+")) -> ("mouse" "needs" "cat" "+"))
If something visits the bear then it is red.
((("something" "visits" "bear" "+")) -> ("something" "is" "red" "+"))
If something eats the cat and it does not eat the mouse then the cat is cold.
((("something" "eats" "cat" "+") ("something" "eats" "mouse" "~")) -> ("cat" "is" "cold" "+"))
If something visits the mouse then the mouse visits the bear.
((("something" "visits" "mouse" "+")) -> ("mouse" "visits" "bear" "+"))
If something is blue and nice then it visits the mouse.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "visits" "mouse" "+"))
If something visits the cat and it does not need the bald eagle then it eats the bald eagle.
((("something" "visits" "cat" "+") ("something" "needs" "bald eagle" "~")) -> ("something" "eats" "bald eagle" "+"))
If something is rough then it does not visit the cat.
((("something" "is" "rough" "+")) -> ("something" "visits" "cat" "-"))
The cat is blue.
True
1
proof
[(triple7)]
("cat" "is" "blue" "+")
triple7
The cat does not need the bald eagle.
False
1
inv-proof
[(triple10)]
("cat" "needs" "bald eagle" "-")
triple10
The bear is rough.
True
2
proof
[(((triple4) -> rule2))]
("bear" "is" "rough" "+")
((triple4) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The cat does not visit the mouse.
False
3
inv-proof
[(((triple7 triple9) -> rule7))]
("cat" "visits" "mouse" "-")
((triple7 triple9) -> (rule7 % int1))
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int1
The bear does not visit the cat.
True
3
proof
[(((((triple4) -> rule2)) -> rule9))]
("bear" "visits" "cat" "-")
((((triple4) -> (rule2 % int2))) -> (rule9 % int1))
The bear does not visit the cat.
("bear" "visits" "cat" "-")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The cat is not rough.
False
3
inv-proof
[(((((triple13) -> rule4)) -> rule2))]
("cat" "is" "rough" "-")
((((triple13) -> (rule4 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat does not visit the cat.
True
4
proof
[(((((((triple13) -> rule4)) -> rule2)) -> rule9))]
("cat" "visits" "cat" "-")
((((((triple13) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The cat does not visit the cat.
("cat" "visits" "cat" "-")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The bald eagle visits the cat.
False
4
inv-proof
[(((((((triple2) -> rule4)) -> rule2)) -> rule9))]
("bald eagle" "visits" "cat" "+")
((((((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The mouse is rough.
True
6
proof
[(((((((((triple7 triple9) -> rule7)) -> rule6)) -> rule4)) -> rule2))]
("mouse" "is" "rough" "+")
((((((((triple7 triple9) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int3
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int4
The mouse is not rough.
False
6
inv-proof
[(((((((((triple7 triple9) -> rule7)) -> rule6)) -> rule4)) -> rule2))]
("mouse" "is" "rough" "-")
((((((((triple7 triple9) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int3
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int4
The mouse does not visit the cat.
True
7
proof
[(((((((((((triple7 triple9) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule9))]
("mouse" "visits" "cat" "-")
((((((((((triple7 triple9) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The mouse does not visit the cat.
("mouse" "visits" "cat" "-")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int4
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int5
The mouse visits the cat.
False
7
inv-proof
[(((((((((((triple7 triple9) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule9))]
("mouse" "visits" "cat" "+")
((((((((((triple7 triple9) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The mouse does not visit the cat.
("mouse" "visits" "cat" "-")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int4
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int5
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The mouse visits the mouse.
Unknown
rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "visits" "mouse" "+")
The bald eagle does not visit the mouse.
Unknown
inv-rconc
[@1: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "visits" "mouse" "-")
The cat eats the bald eagle.
Unknown
rconc
[@1: The cat eats the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "eats" "bald eagle" "+")
The bear does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bear eats the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "eats" "bald eagle" "-")
The cat eats the mouse.
Unknown
random
[@0: The cat eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "mouse" "+")
The mouse does not eat the cat.
Unknown
inv-random
[@0: The mouse eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "cat" "-")
The bald eagle eats the cat.
Unknown
random
[@0: The bald eagle eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cat" "+")
The mouse does not visit the bald eagle.
Unknown
inv-random
[@0: The mouse visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bald eagle" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bald eagle is not blue.[(triple1)] The bald eagle visits the bear.[(triple2)] The bear does not visit the mouse.[(triple5)] The bear eats the mouse.[(triple3)] The bear is red.[(triple4)] The cat eats the bear.[(triple6)] The cat is blue.[(triple7)] The cat is nice.[(triple9)] The cat is not cold.[(triple8)] The cat needs the bald eagle.[(triple10)] The cat needs the bear.[(triple11)] The cat visits the bald eagle.[(triple12)] The cat visits the bear.[(triple13)] The mouse eats the bald eagle.[(triple14)] The mouse eats the bear.[(triple15)] The mouse needs the cat.[(triple16)] @1: The bald eagle is red.[(((triple2) -> rule4))] The bear is rough.[(((triple4) -> rule2))] The cat is red.[(((triple13) -> rule4))] The cat visits the mouse.[(((triple7 triple9) -> rule7))] @2: The bald eagle is rough.[(((((triple2) -> rule4)) -> rule2))] The bear does not visit the cat.[(((((triple4) -> rule2)) -> rule9))] The cat is rough.[(((((triple13) -> rule4)) -> rule2))] The mouse visits the bear.[(((((triple7 triple9) -> rule7)) -> rule6))] @3: The bald eagle does not visit the cat.[(((((((triple2) -> rule4)) -> rule2)) -> rule9))] The bear eats the cat.[(((triple6 ((((triple13) -> rule4)) -> rule2)) -> rule1) OR ((triple15 ((((((((triple7 triple9) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule1))] The cat does not visit the cat.[(((((((triple13) -> rule4)) -> rule2)) -> rule9))] The mouse is red.[(((((((triple7 triple9) -> rule7)) -> rule6)) -> rule4))] @4: The mouse is rough.[(((((((((triple7 triple9) -> rule7)) -> rule6)) -> rule4)) -> rule2))] @5: The mouse does not visit the cat.[(((((((((((triple7 triple9) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule9))]
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple2
The bear does not visit the mouse.
("bear" "visits" "mouse" "-")
triple5
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The cat eats the bear.
("cat" "eats" "bear" "+")
triple6
The cat is blue.
("cat" "is" "blue" "+")
triple7
The cat is nice.
("cat" "is" "nice" "+")
triple9
The cat is not cold.
("cat" "is" "cold" "-")
triple8
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple10
The cat needs the bear.
("cat" "needs" "bear" "+")
triple11
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple12
The cat visits the bear.
("cat" "visits" "bear" "+")
triple13
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple14
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple15
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple16
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple2) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
((triple4) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The cat is red.
("cat" "is" "red" "+")
((triple13) -> (rule4 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat visits the mouse.
("cat" "visits" "mouse" "+")
((triple7 triple9) -> (rule7 % int1))
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bear does not visit the cat.
("bear" "visits" "cat" "-")
((((triple4) -> (rule2 % int2))) -> (rule9 % int1))
The bear does not visit the cat.
("bear" "visits" "cat" "-")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
((((triple13) -> (rule4 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The mouse visits the bear.
("mouse" "visits" "bear" "+")
((((triple7 triple9) -> (rule7 % int2))) -> (rule6 % int1))
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int1
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int2
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
((((((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
((triple6 ((((triple13) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
((triple15 ((((((((triple7 triple9) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int4
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int5
The cat does not visit the cat.
("cat" "visits" "cat" "-")
((((((triple13) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The cat does not visit the cat.
("cat" "visits" "cat" "-")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
((((((triple7 triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int2
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
((((((((triple7 triple9) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int3
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int4
The mouse does not visit the cat.
("mouse" "visits" "cat" "-")
((((((((((triple7 triple9) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The mouse does not visit the cat.
("mouse" "visits" "cat" "-")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int4
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int5