The mouse does not eat the rabbit. The mouse is kind. The mouse is red. The mouse needs the rabbit. The rabbit eats the mouse. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit does not like the mouse. The rabbit needs the mouse. If something is red then it does not eat the rabbit. If something eats the rabbit then it likes the rabbit. If something is red and green then it eats the mouse. If something is cold and it needs the mouse then it is nice. If something is red then it is green. If something eats the mouse and the mouse is green then it needs the mouse.
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit does not like the mouse.
("rabbit" "likes" "mouse" "-")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
If something is red then it does not eat the rabbit.
((("something" "is" "red" "+")) -> ("something" "eats" "rabbit" "-"))
If something eats the rabbit then it likes the rabbit.
((("something" "eats" "rabbit" "+")) -> ("something" "likes" "rabbit" "+"))
If something is red and green then it eats the mouse.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "eats" "mouse" "+"))
If something is cold and it needs the mouse then it is nice.
((("something" "is" "cold" "+") ("something" "needs" "mouse" "+")) -> ("something" "is" "nice" "+"))
If something is red then it is green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
If something eats the mouse and the mouse is green then it needs the mouse.
((("something" "eats" "mouse" "+") ("mouse" "is" "green" "+")) -> ("something" "needs" "mouse" "+"))
The mouse needs the rabbit.
True
1
proof
[(triple4)]
("mouse" "needs" "rabbit" "+")
triple4
The rabbit is not kind.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "kind" "-")
triple8
The mouse is green.
True
2
proof
[(((triple3) -> rule5))]
("mouse" "is" "green" "+")
((triple3) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The rabbit eats the rabbit.
False
2
inv-proof
[(((triple10) -> rule1))]
("rabbit" "eats" "rabbit" "+")
((triple10) -> (rule1 % int1))
The rabbit does not eat the rabbit.
("rabbit" "eats" "rabbit" "-")
int1
The mouse eats the mouse.
True
4
proof
[(((triple3 ((triple3) -> rule5)) -> rule3))]
("mouse" "eats" "mouse" "+")
((triple3 ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse does not eat the mouse.
False
4
inv-proof
[(((triple3 ((triple3) -> rule5)) -> rule3))]
("mouse" "eats" "mouse" "-")
((triple3 ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is not nice.
Unknown
inv-rconc
[@1: The mouse is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "nice" "-")
The rabbit likes the rabbit.
Unknown
rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "likes" "rabbit" "+")
The mouse does not like the rabbit.
Unknown
inv-rconc
[@1: The mouse likes the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "likes" "rabbit" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The mouse does not eat the rabbit.[(triple1 OR ((triple3) -> rule1))] The mouse is kind.[(triple2)] The mouse is red.[(triple3)] The mouse needs the rabbit.[(triple4)] The rabbit does not like the mouse.[(triple11)] The rabbit eats the mouse.[(triple5 OR ((triple10 triple7) -> rule3) OR ((triple10 ((triple10) -> rule5)) -> rule3))] The rabbit is cold.[(triple6)] The rabbit is green.[(triple7 OR ((triple10) -> rule5))] The rabbit is kind.[(triple8)] The rabbit is nice.[(triple9 OR ((triple6 triple12) -> rule4) OR ((triple6 ((triple5 ((triple3) -> rule5)) -> rule6)) -> rule4) OR ((triple6 ((((triple10 triple7) -> rule3) ((triple3) -> rule5)) -> rule6)) -> rule4) OR ((triple6 ((((triple10 ((triple10) -> rule5)) -> rule3) ((triple3) -> rule5)) -> rule6)) -> rule4))] The rabbit is red.[(triple10)] The rabbit needs the mouse.[(triple12 OR ((triple5 ((triple3) -> rule5)) -> rule6) OR ((((triple10 triple7) -> rule3) ((triple3) -> rule5)) -> rule6) OR ((((triple10 ((triple10) -> rule5)) -> rule3) ((triple3) -> rule5)) -> rule6))] @1: The mouse is green.[(((triple3) -> rule5))] The rabbit does not eat the rabbit.[(((triple10) -> rule1))] @2: The mouse eats the mouse.[(((triple3 ((triple3) -> rule5)) -> rule3))] @3: The mouse needs the mouse.[(((((triple3 ((triple3) -> rule5)) -> rule3) ((triple3) -> rule5)) -> rule6))]
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
triple1
((triple3) -> (rule1 % int1))
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
triple2
The mouse is red.
("mouse" "is" "red" "+")
triple3
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple4
The rabbit does not like the mouse.
("rabbit" "likes" "mouse" "-")
triple11
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple5
((triple10 triple7) -> (rule3 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
((triple10 ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple6
The rabbit is green.
("rabbit" "is" "green" "+")
triple7
((triple10) -> (rule5 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple8
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple9
((triple6 triple12) -> (rule4 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
((triple6 ((triple5 ((triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int2
The mouse is green.
("mouse" "is" "green" "+")
int3
((triple6 ((((triple10 triple7) -> (rule3 % int4)) ((triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int2
The mouse is green.
("mouse" "is" "green" "+")
int3
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int4
((triple6 ((((triple10 ((triple10) -> (rule5 % int5))) -> (rule3 % int4)) ((triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int2
The mouse is green.
("mouse" "is" "green" "+")
int3
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int4
The rabbit is green.
("rabbit" "is" "green" "+")
int5
The rabbit is red.
("rabbit" "is" "red" "+")
triple10
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple12
((triple5 ((triple3) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
((((triple10 triple7) -> (rule3 % int3)) ((triple3) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int3
((((triple10 ((triple10) -> (rule5 % int4))) -> (rule3 % int3)) ((triple3) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
int4
The mouse is green.
("mouse" "is" "green" "+")
((triple3) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The rabbit does not eat the rabbit.
("rabbit" "eats" "rabbit" "-")
((triple10) -> (rule1 % int1))
The rabbit does not eat the rabbit.
("rabbit" "eats" "rabbit" "-")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple3 ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((((triple3 ((triple3) -> (rule5 % int3))) -> (rule3 % int2)) ((triple3) -> (rule5 % int3))) -> (rule6 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse is green.
("mouse" "is" "green" "+")
int3