The mouse eats the squirrel. The mouse is cold. The mouse is nice. The mouse likes the rabbit. The mouse sees the rabbit. The rabbit eats the mouse. The rabbit is nice. The rabbit is young. The rabbit likes the mouse. The rabbit likes the squirrel. The rabbit sees the mouse. The squirrel eats the mouse. The squirrel is young. The squirrel likes the rabbit. The squirrel sees the mouse. The squirrel sees the rabbit. If the mouse is young and the mouse likes the squirrel then the mouse is round. If something sees the squirrel then it is round. If something is young and it eats the squirrel then the squirrel is cold. If something likes the rabbit then it is nice. If something is cold and it likes the rabbit then the rabbit eats the squirrel. If something is cold then it likes the mouse.
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If the mouse is young and the mouse likes the squirrel then the mouse is round.
((("mouse" "is" "young" "+") ("mouse" "likes" "squirrel" "+")) -> ("mouse" "is" "round" "+"))
If something sees the squirrel then it is round.
((("something" "sees" "squirrel" "+")) -> ("something" "is" "round" "+"))
If something is young and it eats the squirrel then the squirrel is cold.
((("something" "is" "young" "+") ("something" "eats" "squirrel" "+")) -> ("squirrel" "is" "cold" "+"))
If something likes the rabbit then it is nice.
((("something" "likes" "rabbit" "+")) -> ("something" "is" "nice" "+"))
If something is cold and it likes the rabbit then the rabbit eats the squirrel.
((("something" "is" "cold" "+") ("something" "likes" "rabbit" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If something is cold then it likes the mouse.
((("something" "is" "cold" "+")) -> ("something" "likes" "mouse" "+"))
The rabbit is young.
True
1
proof
[(triple8)]
("rabbit" "is" "young" "+")
triple8
The squirrel does not like the rabbit.
False
1
inv-proof
[(triple14)]
("squirrel" "likes" "rabbit" "-")
triple14
The rabbit eats the squirrel.
True
3
proof
[(((triple2 triple4) -> rule5))]
("rabbit" "eats" "squirrel" "+")
((triple2 triple4) -> (rule5 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The squirrel is not nice.
False
2
inv-proof
[(((triple14) -> rule4))]
("squirrel" "is" "nice" "-")
((triple14) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is cold.
True
5
proof
[(((triple8 ((triple2 triple4) -> rule5)) -> rule3))]
("squirrel" "is" "cold" "+")
((triple8 ((triple2 triple4) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The squirrel is not cold.
False
5
inv-proof
[(((triple8 ((triple2 triple4) -> rule5)) -> rule3))]
("squirrel" "is" "cold" "-")
((triple8 ((triple2 triple4) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The squirrel likes the mouse.
True
6
proof
[(((((triple8 ((triple2 triple4) -> rule5)) -> rule3)) -> rule6))]
("squirrel" "likes" "mouse" "+")
((((triple8 ((triple2 triple4) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int3
The squirrel does not like the mouse.
False
6
inv-proof
[(((((triple8 ((triple2 triple4) -> rule5)) -> rule3)) -> rule6))]
("squirrel" "likes" "mouse" "-")
((((triple8 ((triple2 triple4) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int3
The squirrel is not round.
Unknown
inv-rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "round" "-")
The rabbit is round.
Unknown
rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "round" "+")
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "round" "-")
The mouse likes the squirrel.
Unknown
random
[@0: The mouse likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "squirrel" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The mouse sees the squirrel.
Unknown
random
[@0: The mouse sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "squirrel" "+")
The rabbit is not big.
Unknown
inv-random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "-")
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 eats the squirrel.[(triple1)] The mouse is cold.[(triple2)] The mouse is nice.[(triple3 OR ((triple4) -> rule4))] The mouse likes the rabbit.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit eats the mouse.[(triple6)] The rabbit is nice.[(triple7)] The rabbit is young.[(triple8)] The rabbit likes the mouse.[(triple9)] The rabbit likes the squirrel.[(triple10)] The rabbit sees the mouse.[(triple11)] The squirrel eats the mouse.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the rabbit.[(triple14)] The squirrel sees the mouse.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The mouse likes the mouse.[(((triple2) -> rule6))] The rabbit eats the squirrel.[(((triple2 triple4) -> rule5))] The squirrel is nice.[(((triple14) -> rule4))] @2: The squirrel is cold.[(((triple8 ((triple2 triple4) -> rule5)) -> rule3))] @3: The squirrel likes the mouse.[(((((triple8 ((triple2 triple4) -> rule5)) -> rule3)) -> rule6))]
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse is nice.
("mouse" "is" "nice" "+")
triple3
((triple4) -> (rule4 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple5
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple6
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple7
The rabbit is young.
("rabbit" "is" "young" "+")
triple8
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple9
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple10
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple11
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple14
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple15
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple16
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple2) -> (rule6 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
((triple2 triple4) -> (rule5 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple14) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple8 ((triple2 triple4) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
((((triple8 ((triple2 triple4) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int3