The mouse eats the rabbit. The mouse is green. The mouse is kind. The mouse needs the rabbit. The mouse visits the rabbit. The rabbit eats the mouse. The rabbit is green. The rabbit is kind. The rabbit is round. The rabbit is young. The rabbit needs the mouse. The rabbit visits the mouse. All round, young people are blue. If someone is kind then they visit the rabbit. If someone needs the mouse and the mouse eats the rabbit then the rabbit needs the mouse. If someone eats the rabbit then they need the mouse. If someone eats the mouse and they visit the rabbit then they are green. If someone is blue then they eat the rabbit. If someone is kind and they visit the rabbit then they need the rabbit. If someone eats the mouse then the mouse visits the rabbit.
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
All round, young people are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind then they visit the rabbit.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone needs the mouse and the mouse eats the rabbit then the rabbit needs the mouse.
((("someone" "needs" "mouse" "+") ("mouse" "eats" "rabbit" "+")) -> ("rabbit" "needs" "mouse" "+"))
If someone eats the rabbit then they need the mouse.
((("someone" "eats" "rabbit" "+")) -> ("someone" "needs" "mouse" "+"))
If someone eats the mouse and they visit the rabbit then they are green.
((("someone" "eats" "mouse" "+") ("someone" "visits" "rabbit" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they eat the rabbit.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone is kind and they visit the rabbit then they need the rabbit.
((("someone" "is" "kind" "+") ("someone" "visits" "rabbit" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone eats the mouse then the mouse visits the rabbit.
((("someone" "eats" "mouse" "+")) -> ("mouse" "visits" "rabbit" "+"))
The mouse is green.
True
1
proof
[(triple2)]
("mouse" "is" "green" "+")
triple2
The rabbit is not kind.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "kind" "-")
triple8
The rabbit is blue.
True
3
proof
[(((triple9 triple10) -> rule1))]
("rabbit" "is" "blue" "+")
((triple9 triple10) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit does not visit the rabbit.
False
2
inv-proof
[(((triple8) -> rule2))]
("rabbit" "visits" "rabbit" "-")
((triple8) -> (rule2 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit eats the rabbit.
True
4
proof
[(((((triple9 triple10) -> rule1)) -> rule6))]
("rabbit" "eats" "rabbit" "+")
((((triple9 triple10) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit does not eat the rabbit.
False
4
inv-proof
[(((((triple9 triple10) -> rule1)) -> rule6))]
("rabbit" "eats" "rabbit" "-")
((((triple9 triple10) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "blue" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
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 mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The mouse eats the rabbit.[(triple1)] The mouse is green.[(triple2)] The mouse is kind.[(triple3)] The mouse needs the rabbit.[(triple4 OR ((triple3 triple5) -> rule7) OR ((triple3 ((triple3) -> rule2)) -> rule7) OR ((triple3 ((triple6) -> rule8)) -> rule7))] The mouse visits the rabbit.[(triple5 OR ((triple3) -> rule2) OR ((triple6) -> rule8))] The rabbit eats the mouse.[(triple6)] The rabbit is green.[(triple7 OR ((triple6 ((triple8) -> rule2)) -> rule5))] The rabbit is kind.[(triple8)] The rabbit is round.[(triple9)] The rabbit is young.[(triple10)] The rabbit needs the mouse.[(triple11 OR ((((triple1) -> rule4) triple1) -> rule3) OR ((((((triple9 triple10) -> rule1)) -> rule6)) -> rule4))] The rabbit visits the mouse.[(triple12)] @1: The mouse needs the mouse.[(((triple1) -> rule4))] The rabbit is blue.[(((triple9 triple10) -> rule1))] The rabbit visits the rabbit.[(((triple8) -> rule2))] @2: The rabbit eats the rabbit.[(((((triple9 triple10) -> rule1)) -> rule6))] The rabbit needs the rabbit.[(((triple8 ((triple8) -> rule2)) -> rule7))]
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple1
The mouse is green.
("mouse" "is" "green" "+")
triple2
The mouse is kind.
("mouse" "is" "kind" "+")
triple3
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple4
((triple3 triple5) -> (rule7 % int1))
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
int1
((triple3 ((triple3) -> (rule2 % int2))) -> (rule7 % int1))
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int2
((triple3 ((triple6) -> (rule8 % int2))) -> (rule7 % int1))
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int2
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple5
((triple3) -> (rule2 % int1))
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int1
((triple6) -> (rule8 % int1))
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple6
The rabbit is green.
("rabbit" "is" "green" "+")
triple7
((triple6 ((triple8) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The rabbit is young.
("rabbit" "is" "young" "+")
triple10
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple11
((((triple1) -> (rule4 % int2)) triple1) -> (rule3 % int1))
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
((((((triple9 triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple12
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple1) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple9 triple10) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple8) -> (rule2 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((((triple9 triple10) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((triple8 ((triple8) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2