The cat chases the squirrel. The rabbit is young. The squirrel likes the rabbit. If something is young then it needs the squirrel.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If something is young then it needs the squirrel.
((("something" "is" "young" "+")) -> ("something" "needs" "squirrel" "+"))
The rabbit is young.
True
1
proof
[(triple2)]
("rabbit" "is" "young" "+")
triple2
The squirrel does not like the rabbit.
False
1
inv-proof
[(triple3)]
("squirrel" "likes" "rabbit" "-")
triple3
The rabbit needs the squirrel.
True
2
proof
[(((triple2) -> rule1))]
("rabbit" "needs" "squirrel" "+")
((triple2) -> (rule1 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The rabbit does not need the squirrel.
False
2
inv-proof
[(((triple2) -> rule1))]
("rabbit" "needs" "squirrel" "-")
((triple2) -> (rule1 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The cat needs the squirrel.
Unknown
rconc
[@1: The cat needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "needs" "squirrel" "+")
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
The rabbit likes the cat.
Unknown
random
[@0: The rabbit likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "cat" "+")
@0: The cat chases the squirrel.[(triple1)] The rabbit is young.[(triple2)] The squirrel likes the rabbit.[(triple3)] @1: The rabbit needs the squirrel.[(((triple2) -> rule1))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The rabbit is young.
("rabbit" "is" "young" "+")
triple2
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple3
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
((triple2) -> (rule1 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1