The mouse chases the rabbit. The mouse eats the rabbit. The mouse is cold. The mouse is green. The mouse is kind. The mouse is rough. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit is kind. The rabbit is rough. The rabbit visits the mouse. If the mouse chases the rabbit then the rabbit visits the mouse. If the rabbit eats the mouse and the rabbit visits the mouse then the mouse visits the rabbit. If something chases the rabbit and it eats the rabbit then it is blue. If something chases the rabbit and it eats the rabbit then the rabbit chases the mouse. If something is rough then it chases the mouse. If something visits the mouse then it chases the rabbit. If something is blue then it visits the rabbit. If the rabbit chases the mouse and the rabbit is cold then the mouse eats 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 green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If the mouse chases the rabbit then the rabbit visits the mouse.
((("mouse" "chases" "rabbit" "+")) -> ("rabbit" "visits" "mouse" "+"))
If the rabbit eats the mouse and the rabbit visits the mouse then the mouse visits the rabbit.
((("rabbit" "eats" "mouse" "+") ("rabbit" "visits" "mouse" "+")) -> ("mouse" "visits" "rabbit" "+"))
If something chases the rabbit and it eats the rabbit then it is blue.
((("something" "chases" "rabbit" "+") ("something" "eats" "rabbit" "+")) -> ("something" "is" "blue" "+"))
If something chases the rabbit and it eats the rabbit then the rabbit chases the mouse.
((("something" "chases" "rabbit" "+") ("something" "eats" "rabbit" "+")) -> ("rabbit" "chases" "mouse" "+"))
If something is rough then it chases the mouse.
((("something" "is" "rough" "+")) -> ("something" "chases" "mouse" "+"))
If something visits the mouse then it chases the rabbit.
((("something" "visits" "mouse" "+")) -> ("something" "chases" "rabbit" "+"))
If something is blue then it visits the rabbit.
((("something" "is" "blue" "+")) -> ("something" "visits" "rabbit" "+"))
If the rabbit chases the mouse and the rabbit is cold then the mouse eats the rabbit.
((("rabbit" "chases" "mouse" "+") ("rabbit" "is" "cold" "+")) -> ("mouse" "eats" "rabbit" "+"))
The mouse is rough.
True
1
proof
[(triple6)]
("mouse" "is" "rough" "+")
triple6
The rabbit does not eat the mouse.
False
1
inv-proof
[(triple9)]
("rabbit" "eats" "mouse" "-")
triple9
The mouse chases the mouse.
True
2
proof
[(((triple6) -> rule5))]
("mouse" "chases" "mouse" "+")
((triple6) -> (rule5 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse does not chase the mouse.
False
2
inv-proof
[(((triple6) -> rule5))]
("mouse" "chases" "mouse" "-")
((triple6) -> (rule5 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The rabbit does not visit the rabbit.
Unknown
inv-rconc
[@2: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit is blue.
Unknown
rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "blue" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
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)] The mouse eats the rabbit.[(triple2)] The mouse is cold.[(triple3)] The mouse is green.[(triple4)] The mouse is kind.[(triple5)] The mouse is rough.[(triple6)] The mouse visits the rabbit.[(triple7 OR ((triple9 triple12) -> rule2) OR ((((triple1 triple2) -> rule3)) -> rule7) OR ((triple9 ((triple1) -> rule1)) -> rule2))] The rabbit chases the mouse.[(triple8 OR ((triple11) -> rule5) OR ((triple1 triple2) -> rule4))] The rabbit eats the mouse.[(triple9)] The rabbit is kind.[(triple10)] The rabbit is rough.[(triple11)] The rabbit visits the mouse.[(triple12 OR ((triple1) -> rule1))] @1: The mouse chases the mouse.[(((triple6) -> rule5))] The mouse is blue.[(((triple1 triple2) -> rule3))] The rabbit chases the rabbit.[(((triple12) -> rule6) OR ((((triple1) -> rule1)) -> rule6))]
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple1
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple2
The mouse is cold.
("mouse" "is" "cold" "+")
triple3
The mouse is green.
("mouse" "is" "green" "+")
triple4
The mouse is kind.
("mouse" "is" "kind" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple7
((triple9 triple12) -> (rule2 % int1))
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int1
((((triple1 triple2) -> (rule3 % int2))) -> (rule7 % int1))
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
((triple9 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int1
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int2
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple8
((triple11) -> (rule5 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
((triple1 triple2) -> (rule4 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple11
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple12
((triple1) -> (rule1 % int1))
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple6) -> (rule5 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((triple1 triple2) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple12) -> (rule6 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int2