The mouse chases the rabbit. The mouse is cold. The mouse is not round. The mouse likes the rabbit. The mouse does not visit the rabbit. The rabbit does not like the mouse. The rabbit visits the mouse. If someone chases the mouse and they are red then the mouse visits the rabbit. If someone chases the rabbit then the rabbit chases the mouse. If someone chases the mouse then they do not like the rabbit.
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is not round.
("mouse" "is" "round" "-")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse does not visit the rabbit.
("mouse" "visits" "rabbit" "-")
The rabbit does not like the mouse.
("rabbit" "likes" "mouse" "-")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If someone chases the mouse and they are red then the mouse visits the rabbit.
((("someone" "chases" "mouse" "+") ("someone" "is" "red" "+")) -> ("mouse" "visits" "rabbit" "+"))
If someone chases the rabbit then the rabbit chases the mouse.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "chases" "mouse" "+"))
If someone chases the mouse then they do not like the rabbit.
((("someone" "chases" "mouse" "+")) -> ("someone" "likes" "rabbit" "-"))
The mouse likes the rabbit.
True
1
proof
[(triple4)]
("mouse" "likes" "rabbit" "+")
triple4
The rabbit does not visit the mouse.
False
1
inv-proof
[(triple7)]
("rabbit" "visits" "mouse" "-")
triple7
The rabbit chases the mouse.
True
2
proof
[(((triple1) -> rule2))]
("rabbit" "chases" "mouse" "+")
((triple1) -> (rule2 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit does not chase the mouse.
False
2
inv-proof
[(((triple1) -> rule2))]
("rabbit" "chases" "mouse" "-")
((triple1) -> (rule2 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit does not like the rabbit.
True
3
proof
[(((((triple1) -> rule2)) -> rule3))]
("rabbit" "likes" "rabbit" "-")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit does not like the rabbit.
("rabbit" "likes" "rabbit" "-")
int1
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int2
The rabbit likes the rabbit.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule3))]
("rabbit" "likes" "rabbit" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit does not like the rabbit.
("rabbit" "likes" "rabbit" "-")
int1
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int2
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The mouse chases the rabbit.[(triple1)] The mouse does not visit the rabbit.[(triple5)] The mouse is cold.[(triple2)] The mouse is not round.[(triple3)] The mouse likes the rabbit.[(triple4)] The rabbit does not like the mouse.[(triple6)] The rabbit visits the mouse.[(triple7)] @1: The rabbit chases the mouse.[(((triple1) -> rule2))] @2: The rabbit does not like the rabbit.[(((((triple1) -> rule2)) -> rule3))]
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple1
The mouse does not visit the rabbit.
("mouse" "visits" "rabbit" "-")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse is not round.
("mouse" "is" "round" "-")
triple3
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple4
The rabbit does not like the mouse.
("rabbit" "likes" "mouse" "-")
triple6
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple7
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
((triple1) -> (rule2 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit does not like the rabbit.
("rabbit" "likes" "rabbit" "-")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit does not like the rabbit.
("rabbit" "likes" "rabbit" "-")
int1
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int2