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