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