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