The lion is big. The lion is blue. The lion is round. The lion needs the rabbit. The mouse is nice. The mouse likes the rabbit. The mouse likes the squirrel. The rabbit does not need the mouse. The rabbit needs the squirrel. The squirrel is not young. All nice things are round. If the rabbit is not big then the rabbit does not visit the lion. Big things are nice. If the mouse is big and the mouse likes the squirrel then the mouse visits the squirrel. If something visits the rabbit then it does not like the mouse. All young things are blue.
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The rabbit does not need the mouse.
("rabbit" "needs" "mouse" "-")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
All nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If the rabbit is not big then the rabbit does not visit the lion.
((("rabbit" "is" "big" "~")) -> ("rabbit" "visits" "lion" "-"))
Big things are nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
If the mouse is big and the mouse likes the squirrel then the mouse visits the squirrel.
((("mouse" "is" "big" "+") ("mouse" "likes" "squirrel" "+")) -> ("mouse" "visits" "squirrel" "+"))
If something visits the rabbit then it does not like the mouse.
((("something" "visits" "rabbit" "+")) -> ("something" "likes" "mouse" "-"))
All young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
The mouse likes the squirrel.
True
1
proof
[(triple7)]
("mouse" "likes" "squirrel" "+")
triple7
The lion does not need the rabbit.
False
1
inv-proof
[(triple4)]
("lion" "needs" "rabbit" "-")
triple4
The mouse is round.
True
2
proof
[(((triple5) -> rule1))]
("mouse" "is" "round" "+")
((triple5) -> (rule1 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The lion is not nice.
False
2
inv-proof
[(((triple1) -> rule3))]
("lion" "is" "nice" "-")
((triple1) -> (rule3 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The squirrel is not round.
Unknown
inv-rconc
[@2: The squirrel is round.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("squirrel" "is" "round" "-")
The squirrel is nice.
Unknown
rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "nice" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The rabbit likes the mouse.
Unknown
random
[@0: The rabbit likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "mouse" "+")
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion is round.[(triple3 OR ((((triple1) -> rule3)) -> rule1))] The lion needs the rabbit.[(triple4)] The mouse is nice.[(triple5)] The mouse likes the rabbit.[(triple6)] The mouse likes the squirrel.[(triple7)] The rabbit does not need the mouse.[(triple8)] The rabbit needs the squirrel.[(triple9)] The squirrel is not young.[(triple10)] @1: The lion is nice.[(((triple1) -> rule3))] The mouse is round.[(((triple5) -> rule1))]
The lion is big.
("lion" "is" "big" "+")
triple1
The lion is blue.
("lion" "is" "blue" "+")
triple2
The lion is round.
("lion" "is" "round" "+")
triple3
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple4
The mouse is nice.
("mouse" "is" "nice" "+")
triple5
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple6
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple7
The rabbit does not need the mouse.
("rabbit" "needs" "mouse" "-")
triple8
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple9
The squirrel is not young.
("squirrel" "is" "young" "-")
triple10
The lion is nice.
("lion" "is" "nice" "+")
((triple1) -> (rule3 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
((triple5) -> (rule1 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1