The bald eagle is blue. The bald eagle likes the mouse. The bald eagle needs the rabbit. The bald eagle does not visit the rabbit. The mouse is cold. The mouse is red. The mouse needs the squirrel. The mouse does not visit the bald eagle. The mouse visits the rabbit. The rabbit is green. The rabbit does not like the mouse. The rabbit needs the bald eagle. The rabbit does not visit the bald eagle. The squirrel is green. The squirrel is nice. If something is red then it is cold. All blue things are not nice. If something is green and it likes the bald eagle then it does not need the bald eagle. If something likes the rabbit and it does not visit the rabbit then it visits the mouse. If something needs the rabbit and it is not nice then it visits the mouse. If something visits the mouse then the mouse needs the bald eagle.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The mouse does not visit the bald eagle.
("mouse" "visits" "bald eagle" "-")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit does not like the mouse.
("rabbit" "likes" "mouse" "-")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If something is red then it is cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
All blue things are not nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "-"))
If something is green and it likes the bald eagle then it does not need the bald eagle.
((("something" "is" "green" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "needs" "bald eagle" "-"))
If something likes the rabbit and it does not visit the rabbit then it visits the mouse.
((("something" "likes" "rabbit" "+") ("something" "visits" "rabbit" "~")) -> ("something" "visits" "mouse" "+"))
If something needs the rabbit and it is not nice then it visits the mouse.
((("something" "needs" "rabbit" "+") ("something" "is" "nice" "~")) -> ("something" "visits" "mouse" "+"))
If something visits the mouse then the mouse needs the bald eagle.
((("something" "visits" "mouse" "+")) -> ("mouse" "needs" "bald eagle" "+"))
The mouse is cold.
True
1
proof
[(triple5 OR ((triple6) -> rule1))]
("mouse" "is" "cold" "+")
triple5
((triple6) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is not cold.
False
1
inv-proof
[(triple5 OR ((triple6) -> rule1))]
("mouse" "is" "cold" "-")
triple5
((triple6) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The bald eagle is not nice.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "is" "nice" "-")
((triple1) -> (rule2 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
The bald eagle is nice.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "is" "nice" "+")
((triple1) -> (rule2 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
The bald eagle visits the mouse.
True
4
proof
[(((triple3 ((triple1) -> rule2)) -> rule5))]
("bald eagle" "visits" "mouse" "+")
((triple3 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int2
The bald eagle does not visit the mouse.
False
4
inv-proof
[(((triple3 ((triple1) -> rule2)) -> rule5))]
("bald eagle" "visits" "mouse" "-")
((triple3 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int2
The mouse needs the bald eagle.
True
5
proof
[(((((triple3 ((triple1) -> rule2)) -> rule5)) -> rule6))]
("mouse" "needs" "bald eagle" "+")
((((triple3 ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int3
The mouse does not need the bald eagle.
False
5
inv-proof
[(((((triple3 ((triple1) -> rule2)) -> rule5)) -> rule6))]
("mouse" "needs" "bald eagle" "-")
((((triple3 ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int3
The squirrel does not visit the mouse.
Unknown
inv-rconc
[@1: The squirrel visits the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "visits" "mouse" "-")
The bald eagle is cold.
Unknown
rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "cold" "+")
The rabbit does not visit the mouse.
Unknown
inv-rconc
[@1: The rabbit visits the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "visits" "mouse" "-")
The mouse visits the mouse.
Unknown
rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "visits" "mouse" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The rabbit likes the bald eagle.
Unknown
random
[@0: The rabbit likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bald eagle" "+")
The mouse is not green.
Unknown
inv-random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The bald eagle does not visit the rabbit.[(triple4)] The bald eagle is blue.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The mouse does not visit the bald eagle.[(triple8)] The mouse is cold.[(triple5 OR ((triple6) -> rule1))] The mouse is red.[(triple6)] The mouse needs the squirrel.[(triple7)] The mouse visits the rabbit.[(triple9)] The rabbit does not like the mouse.[(triple11)] The rabbit does not visit the bald eagle.[(triple13)] The rabbit is green.[(triple10)] The rabbit needs the bald eagle.[(triple12)] The squirrel is green.[(triple14)] The squirrel is nice.[(triple15)] @1: The bald eagle is not nice.[(((triple1) -> rule2))] @2: The bald eagle visits the mouse.[(((triple3 ((triple1) -> rule2)) -> rule5))] @3: The mouse needs the bald eagle.[(((((triple3 ((triple1) -> rule2)) -> rule5)) -> rule6))]
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
triple4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple2
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple3
The mouse does not visit the bald eagle.
("mouse" "visits" "bald eagle" "-")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple5
((triple6) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
triple6
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple7
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple9
The rabbit does not like the mouse.
("rabbit" "likes" "mouse" "-")
triple11
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
triple13
The rabbit is green.
("rabbit" "is" "green" "+")
triple10
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple12
The squirrel is green.
("squirrel" "is" "green" "+")
triple14
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple15
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
((triple1) -> (rule2 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
((triple3 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int2
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
((((triple3 ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int3