The mouse eats the rabbit. The mouse eats the tiger. The mouse is young. The mouse needs the rabbit. The mouse needs the tiger. The mouse sees the tiger. The rabbit eats the tiger. The rabbit is round. The rabbit is young. The rabbit needs the mouse. The tiger eats the rabbit. The tiger is rough. The tiger is round. The tiger is young. The tiger sees the rabbit. If something needs the rabbit and the rabbit eats the mouse then it eats the mouse. If the rabbit is nice and the rabbit is rough then the rabbit needs the mouse. If something is kind and it eats the mouse then the mouse is round. If something needs the tiger and it needs the rabbit then it is rough. If something needs the mouse and the mouse sees the tiger then the mouse is kind. If something eats the tiger and it is round then the tiger is young.
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If something needs the rabbit and the rabbit eats the mouse then it eats the mouse.
((("something" "needs" "rabbit" "+") ("rabbit" "eats" "mouse" "+")) -> ("something" "eats" "mouse" "+"))
If the rabbit is nice and the rabbit is rough then the rabbit needs the mouse.
((("rabbit" "is" "nice" "+") ("rabbit" "is" "rough" "+")) -> ("rabbit" "needs" "mouse" "+"))
If something is kind and it eats the mouse then the mouse is round.
((("something" "is" "kind" "+") ("something" "eats" "mouse" "+")) -> ("mouse" "is" "round" "+"))
If something needs the tiger and it needs the rabbit then it is rough.
((("something" "needs" "tiger" "+") ("something" "needs" "rabbit" "+")) -> ("something" "is" "rough" "+"))
If something needs the mouse and the mouse sees the tiger then the mouse is kind.
((("something" "needs" "mouse" "+") ("mouse" "sees" "tiger" "+")) -> ("mouse" "is" "kind" "+"))
If something eats the tiger and it is round then the tiger is young.
((("something" "eats" "tiger" "+") ("something" "is" "round" "+")) -> ("tiger" "is" "young" "+"))
The rabbit is round.
True
1
proof
[(triple8)]
("rabbit" "is" "round" "+")
triple8
The rabbit is not round.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "round" "-")
triple8
The mouse is not round.
Unknown
inv-rconc
[@2: The mouse is round.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("mouse" "is" "round" "-")
The rabbit sees the tiger.
Unknown
random
[@0: The rabbit sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "tiger" "+")
@0: The mouse eats the rabbit.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is young.[(triple3)] The mouse needs the rabbit.[(triple4)] The mouse needs the tiger.[(triple5)] The mouse sees the tiger.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit is round.[(triple8)] The rabbit is young.[(triple9)] The rabbit needs the mouse.[(triple10)] The tiger eats the rabbit.[(triple11)] The tiger is rough.[(triple12)] The tiger is round.[(triple13)] The tiger is young.[(triple14 OR ((triple7 triple8) -> rule6))] The tiger sees the rabbit.[(triple15)] @1: The mouse is kind.[(((triple10 triple6) -> rule5))] The mouse is rough.[(((triple5 triple4) -> rule4))]
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple2
The mouse is young.
("mouse" "is" "young" "+")
triple3
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple4
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple5
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple6
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple10
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple11
The tiger is rough.
("tiger" "is" "rough" "+")
triple12
The tiger is round.
("tiger" "is" "round" "+")
triple13
The tiger is young.
("tiger" "is" "young" "+")
triple14
((triple7 triple8) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple15
The mouse is kind.
("mouse" "is" "kind" "+")
((triple10 triple6) -> (rule5 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
((triple5 triple4) -> (rule4 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1