The mouse eats the rabbit. The mouse is cold. The mouse is green. The mouse is not red. The mouse is round. The mouse is young. The mouse likes the rabbit. The mouse visits the rabbit. The rabbit eats the mouse. The rabbit is green. The rabbit is not red. The rabbit is round. The rabbit is young. The rabbit likes the mouse. The rabbit does not visit the mouse. If something visits the mouse and the mouse likes the rabbit then the mouse is not red. If something eats the mouse and the mouse is cold then it likes the rabbit. If the rabbit does not like the mouse and the rabbit is not cold then the mouse eats the rabbit. If the rabbit is young then the rabbit is round. If something eats the rabbit and it visits the rabbit then the rabbit is not red. If something visits the mouse and it does not like the mouse then the mouse is not cold.
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is not red.
("mouse" "is" "red" "-")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit does not visit the mouse.
("rabbit" "visits" "mouse" "-")
If something visits the mouse and the mouse likes the rabbit then the mouse is not red.
((("something" "visits" "mouse" "+") ("mouse" "likes" "rabbit" "+")) -> ("mouse" "is" "red" "-"))
If something eats the mouse and the mouse is cold then it likes the rabbit.
((("something" "eats" "mouse" "+") ("mouse" "is" "cold" "+")) -> ("something" "likes" "rabbit" "+"))
If the rabbit does not like the mouse and the rabbit is not cold then the mouse eats the rabbit.
((("rabbit" "likes" "mouse" "~") ("rabbit" "is" "cold" "~")) -> ("mouse" "eats" "rabbit" "+"))
If the rabbit is young then the rabbit is round.
((("rabbit" "is" "young" "+")) -> ("rabbit" "is" "round" "+"))
If something eats the rabbit and it visits the rabbit then the rabbit is not red.
((("something" "eats" "rabbit" "+") ("something" "visits" "rabbit" "+")) -> ("rabbit" "is" "red" "-"))
If something visits the mouse and it does not like the mouse then the mouse is not cold.
((("something" "visits" "mouse" "+") ("something" "likes" "mouse" "~")) -> ("mouse" "is" "cold" "-"))
The rabbit is not red.
True
1
proof
[(triple11 OR ((triple1 triple8) -> rule5))]
("rabbit" "is" "red" "-")
triple11
((triple1 triple8) -> (rule5 % int1))
The rabbit is not red.
("rabbit" "is" "red" "-")
int1
The mouse does not eat the rabbit.
False
1
inv-proof
[(triple1)]
("mouse" "eats" "rabbit" "-")
triple1
The rabbit likes the rabbit.
True
3
proof
[(((triple9 triple2) -> rule2))]
("rabbit" "likes" "rabbit" "+")
((triple9 triple2) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit does not like the rabbit.
False
3
inv-proof
[(((triple9 triple2) -> rule2))]
("rabbit" "likes" "rabbit" "-")
((triple9 triple2) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
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 rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
The mouse does not visit the mouse.
Unknown
inv-random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The mouse eats the rabbit.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is not red.[(triple4)] The mouse is round.[(triple5)] The mouse is young.[(triple6)] The mouse likes the rabbit.[(triple7)] The mouse visits the rabbit.[(triple8)] The rabbit does not visit the mouse.[(triple15)] The rabbit eats the mouse.[(triple9)] The rabbit is green.[(triple10)] The rabbit is not red.[(triple11 OR ((triple1 triple8) -> rule5))] The rabbit is round.[(triple12 OR ((triple13) -> rule4))] The rabbit is young.[(triple13)] The rabbit likes the mouse.[(triple14)] @1: The rabbit likes the rabbit.[(((triple9 triple2) -> rule2))]
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse is green.
("mouse" "is" "green" "+")
triple3
The mouse is not red.
("mouse" "is" "red" "-")
triple4
The mouse is round.
("mouse" "is" "round" "+")
triple5
The mouse is young.
("mouse" "is" "young" "+")
triple6
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple7
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple8
The rabbit does not visit the mouse.
("rabbit" "visits" "mouse" "-")
triple15
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple9
The rabbit is green.
("rabbit" "is" "green" "+")
triple10
The rabbit is not red.
("rabbit" "is" "red" "-")
triple11
((triple1 triple8) -> (rule5 % int1))
The rabbit is not red.
("rabbit" "is" "red" "-")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
triple12
((triple13) -> (rule4 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
triple13
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple14
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple9 triple2) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1