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