The mouse eats the rabbit. The mouse is blue. The mouse is green. The mouse is nice. The mouse is round. The mouse is young. The mouse needs the rabbit. The mouse sees the rabbit. The rabbit eats the mouse. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is round. The rabbit is young. The rabbit needs the mouse. The rabbit sees the mouse. If something eats the rabbit and the rabbit needs the mouse then it sees the rabbit. If something sees the mouse and it eats the mouse then it eats the rabbit. If something needs the mouse then the mouse is round.
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If something eats the rabbit and the rabbit needs the mouse then it sees the rabbit.
((("something" "eats" "rabbit" "+") ("rabbit" "needs" "mouse" "+")) -> ("something" "sees" "rabbit" "+"))
If something sees the mouse and it eats the mouse then it eats the rabbit.
((("something" "sees" "mouse" "+") ("something" "eats" "mouse" "+")) -> ("something" "eats" "rabbit" "+"))
If something needs the mouse then the mouse is round.
((("something" "needs" "mouse" "+")) -> ("mouse" "is" "round" "+"))
The mouse eats the rabbit.
True
1
proof
[(triple1)]
("mouse" "eats" "rabbit" "+")
triple1
The mouse does not need the rabbit.
False
1
inv-proof
[(triple7)]
("mouse" "needs" "rabbit" "-")
triple7
The rabbit eats the rabbit.
True
3
proof
[(((triple16 triple9) -> rule2))]
("rabbit" "eats" "rabbit" "+")
((triple16 triple9) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit does not eat the rabbit.
False
3
inv-proof
[(((triple16 triple9) -> rule2))]
("rabbit" "eats" "rabbit" "-")
((triple16 triple9) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit sees the rabbit.
True
5
proof
[(((((triple16 triple9) -> rule2) triple15) -> rule1))]
("rabbit" "sees" "rabbit" "+")
((((triple16 triple9) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit does not see the rabbit.
False
5
inv-proof
[(((((triple16 triple9) -> rule2) triple15) -> rule1))]
("rabbit" "sees" "rabbit" "-")
((((triple16 triple9) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The mouse eats the rabbit.[(triple1)] The mouse is blue.[(triple2)] The mouse is green.[(triple3)] The mouse is nice.[(triple4)] The mouse is round.[(triple5 OR ((triple15) -> rule3))] The mouse is young.[(triple6)] The mouse needs the rabbit.[(triple7)] The mouse sees the rabbit.[(triple8 OR ((triple1 triple15) -> rule1))] The rabbit eats the mouse.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is green.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is round.[(triple13)] The rabbit is young.[(triple14)] The rabbit needs the mouse.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The rabbit eats the rabbit.[(((triple16 triple9) -> rule2))] @2: The rabbit sees the rabbit.[(((((triple16 triple9) -> rule2) triple15) -> rule1))]
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple1
The mouse is blue.
("mouse" "is" "blue" "+")
triple2
The mouse is green.
("mouse" "is" "green" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is round.
("mouse" "is" "round" "+")
triple5
((triple15) -> (rule3 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
triple6
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple7
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple8
((triple1 triple15) -> (rule1 % int1))
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple15
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple16
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple16 triple9) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
((((triple16 triple9) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2