The bear chases the cat. The bear is blue. The bear needs the lion. The bear visits the cat. The cat chases the mouse. The cat needs the bear. The cat needs the mouse. The lion chases the cat. The lion chases the mouse. The lion is green. The lion needs the mouse. The lion visits the mouse. The mouse is nice. The mouse is round. The mouse visits the lion. If someone needs the lion then the lion needs the bear. If someone visits the cat and the cat chases the lion then the cat is round. If someone visits the lion then the lion chases the bear. If someone needs the mouse and the mouse is young then the mouse chases the cat. If the cat chases the lion then the cat is round. If someone needs the cat and they visit the mouse then they need the lion. If someone visits the mouse then the mouse is young. If someone visits the mouse then the mouse chases the bear.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is green.
("lion" "is" "green" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If someone needs the lion then the lion needs the bear.
((("someone" "needs" "lion" "+")) -> ("lion" "needs" "bear" "+"))
If someone visits the cat and the cat chases the lion then the cat is round.
((("someone" "visits" "cat" "+") ("cat" "chases" "lion" "+")) -> ("cat" "is" "round" "+"))
If someone visits the lion then the lion chases the bear.
((("someone" "visits" "lion" "+")) -> ("lion" "chases" "bear" "+"))
If someone needs the mouse and the mouse is young then the mouse chases the cat.
((("someone" "needs" "mouse" "+") ("mouse" "is" "young" "+")) -> ("mouse" "chases" "cat" "+"))
If the cat chases the lion then the cat is round.
((("cat" "chases" "lion" "+")) -> ("cat" "is" "round" "+"))
If someone needs the cat and they visit the mouse then they need the lion.
((("someone" "needs" "cat" "+") ("someone" "visits" "mouse" "+")) -> ("someone" "needs" "lion" "+"))
If someone visits the mouse then the mouse is young.
((("someone" "visits" "mouse" "+")) -> ("mouse" "is" "young" "+"))
If someone visits the mouse then the mouse chases the bear.
((("someone" "visits" "mouse" "+")) -> ("mouse" "chases" "bear" "+"))
The cat needs the mouse.
True
1
proof
[(triple7)]
("cat" "needs" "mouse" "+")
triple7
The lion does not chase the cat.
False
1
inv-proof
[(triple8)]
("lion" "chases" "cat" "-")
triple8
The mouse is young.
True
2
proof
[(((triple12) -> rule7))]
("mouse" "is" "young" "+")
((triple12) -> (rule7 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is not young.
False
2
inv-proof
[(((triple12) -> rule7))]
("mouse" "is" "young" "-")
((triple12) -> (rule7 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "round" "-")
The lion needs the lion.
Unknown
rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "needs" "lion" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The cat visits the mouse.
Unknown
random
[@0: The cat visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "mouse" "+")
@0: The bear chases the cat.[(triple1)] The bear is blue.[(triple2)] The bear needs the lion.[(triple3)] The bear visits the cat.[(triple4)] The cat chases the mouse.[(triple5)] The cat needs the bear.[(triple6)] The cat needs the mouse.[(triple7)] The lion chases the cat.[(triple8)] The lion chases the mouse.[(triple9)] The lion is green.[(triple10)] The lion needs the mouse.[(triple11)] The lion visits the mouse.[(triple12)] The mouse is nice.[(triple13)] The mouse is round.[(triple14)] The mouse visits the lion.[(triple15)] @1: The lion chases the bear.[(((triple15) -> rule3))] The lion needs the bear.[(((triple3) -> rule1))] The mouse chases the bear.[(((triple12) -> rule8))] The mouse is young.[(((triple12) -> rule7))] @2: The mouse chases the cat.[(((triple11 ((triple12) -> rule7)) -> rule4) OR ((triple7 ((triple12) -> rule7)) -> rule4))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear needs the lion.
("bear" "needs" "lion" "+")
triple3
The bear visits the cat.
("bear" "visits" "cat" "+")
triple4
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple5
The cat needs the bear.
("cat" "needs" "bear" "+")
triple6
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple7
The lion chases the cat.
("lion" "chases" "cat" "+")
triple8
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple9
The lion is green.
("lion" "is" "green" "+")
triple10
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple11
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple12
The mouse is nice.
("mouse" "is" "nice" "+")
triple13
The mouse is round.
("mouse" "is" "round" "+")
triple14
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple15
The lion chases the bear.
("lion" "chases" "bear" "+")
((triple15) -> (rule3 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
((triple3) -> (rule1 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
((triple12) -> (rule8 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
((triple12) -> (rule7 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
((triple11 ((triple12) -> (rule7 % int2))) -> (rule4 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
((triple7 ((triple12) -> (rule7 % int2))) -> (rule4 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2