The mouse chases the rabbit. The mouse eats the rabbit. The mouse is cold. The mouse is kind. The mouse is young. The mouse does not like the rabbit. The rabbit chases the mouse. The rabbit is kind. The rabbit is rough. The rabbit likes the mouse. If something chases the rabbit and it is not young then it does not like the mouse. All kind things are rough. If something eats the mouse and it likes the rabbit then the mouse chases the rabbit. If something eats the rabbit then it chases the rabbit. If something eats the mouse and it likes the mouse then it likes the rabbit. If something chases the mouse and it is not young then it does not like the rabbit.
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
If something chases the rabbit and it is not young then it does not like the mouse.
((("something" "chases" "rabbit" "+") ("something" "is" "young" "~")) -> ("something" "likes" "mouse" "-"))
All kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If something eats the mouse and it likes the rabbit then the mouse chases the rabbit.
((("something" "eats" "mouse" "+") ("something" "likes" "rabbit" "+")) -> ("mouse" "chases" "rabbit" "+"))
If something eats the rabbit then it chases the rabbit.
((("something" "eats" "rabbit" "+")) -> ("something" "chases" "rabbit" "+"))
If something eats the mouse and it likes the mouse then it likes the rabbit.
((("something" "eats" "mouse" "+") ("something" "likes" "mouse" "+")) -> ("something" "likes" "rabbit" "+"))
If something chases the mouse and it is not young then it does not like the rabbit.
((("something" "chases" "mouse" "+") ("something" "is" "young" "~")) -> ("something" "likes" "rabbit" "-"))
The mouse is cold.
True
1
proof
[(triple3)]
("mouse" "is" "cold" "+")
triple3
The rabbit is not kind.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "kind" "-")
triple8
The mouse is rough.
True
2
proof
[(((triple4) -> rule2))]
("mouse" "is" "rough" "+")
((triple4) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is not rough.
False
2
inv-proof
[(((triple4) -> rule2))]
("mouse" "is" "rough" "-")
((triple4) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The rabbit chases the rabbit.
Unknown
rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "chases" "rabbit" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
@0: The mouse chases the rabbit.[(triple1 OR ((triple2) -> rule4))] The mouse does not like the rabbit.[(triple6)] The mouse eats the rabbit.[(triple2)] The mouse is cold.[(triple3)] The mouse is kind.[(triple4)] The mouse is young.[(triple5)] The rabbit chases the mouse.[(triple7)] The rabbit is kind.[(triple8)] The rabbit is rough.[(triple9 OR ((triple8) -> rule2))] The rabbit likes the mouse.[(triple10)] @1: The mouse is rough.[(((triple4) -> rule2))]
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple1
((triple2) -> (rule4 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
triple6
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple2
The mouse is cold.
("mouse" "is" "cold" "+")
triple3
The mouse is kind.
("mouse" "is" "kind" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple7
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple8
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple9
((triple8) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple10
The mouse is rough.
("mouse" "is" "rough" "+")
((triple4) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1