The dog is nice. The dog is red. The dog sees the rabbit. The dog sees the squirrel. The rabbit is kind. The rabbit is nice. The rabbit likes the squirrel. The rabbit sees the squirrel. The squirrel is kind. The squirrel likes the dog. The squirrel likes the rabbit. The squirrel needs the dog. If someone sees the rabbit and the rabbit needs the dog then the rabbit needs the squirrel. If someone is red then they like the squirrel. If the rabbit sees the dog then the dog needs the rabbit.
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If someone sees the rabbit and the rabbit needs the dog then the rabbit needs the squirrel.
((("someone" "sees" "rabbit" "+") ("rabbit" "needs" "dog" "+")) -> ("rabbit" "needs" "squirrel" "+"))
If someone is red then they like the squirrel.
((("someone" "is" "red" "+")) -> ("someone" "likes" "squirrel" "+"))
If the rabbit sees the dog then the dog needs the rabbit.
((("rabbit" "sees" "dog" "+")) -> ("dog" "needs" "rabbit" "+"))
The squirrel needs the dog.
True
1
proof
[(triple12)]
("squirrel" "needs" "dog" "+")
triple12
The dog is not nice.
False
1
inv-proof
[(triple1)]
("dog" "is" "nice" "-")
triple1
The dog likes the squirrel.
True
2
proof
[(((triple2) -> rule2))]
("dog" "likes" "squirrel" "+")
((triple2) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog does not like the squirrel.
False
2
inv-proof
[(((triple2) -> rule2))]
("dog" "likes" "squirrel" "-")
((triple2) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The rabbit does not need the squirrel.
Unknown
inv-rconc
[@1: The rabbit needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "needs" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
The rabbit does not need the dog.
Unknown
inv-random
[@0: The rabbit needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "dog" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The dog is nice.[(triple1)] The dog is red.[(triple2)] The dog sees the rabbit.[(triple3)] The dog sees the squirrel.[(triple4)] The rabbit is kind.[(triple5)] The rabbit is nice.[(triple6)] The rabbit likes the squirrel.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel is kind.[(triple9)] The squirrel likes the dog.[(triple10)] The squirrel likes the rabbit.[(triple11)] The squirrel needs the dog.[(triple12)] @1: The dog likes the squirrel.[(((triple2) -> rule2))]
The dog is nice.
("dog" "is" "nice" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
triple2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple3
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple6
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple7
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple10
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple11
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple12
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
((triple2) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1