The dog is blue. The dog likes the squirrel. The dog sees the squirrel. The dog visits the squirrel. The rabbit is kind. The rabbit is red. The rabbit is not round. The rabbit sees the dog. The rabbit does not visit the dog. The rabbit visits the squirrel. The squirrel is red. The squirrel is not young. The squirrel does not like the dog. The squirrel sees the dog. The squirrel sees the rabbit. If the rabbit does not like the squirrel then the rabbit sees the squirrel. If something is blue then it sees the rabbit. If something visits the dog and the dog does not visit the squirrel then the dog is kind.
The dog is blue.
("dog" "is" "blue" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is not round.
("rabbit" "is" "round" "-")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The rabbit does not visit the dog.
("rabbit" "visits" "dog" "-")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If the rabbit does not like the squirrel then the rabbit sees the squirrel.
((("rabbit" "likes" "squirrel" "~")) -> ("rabbit" "sees" "squirrel" "+"))
If something is blue then it sees the rabbit.
((("something" "is" "blue" "+")) -> ("something" "sees" "rabbit" "+"))
If something visits the dog and the dog does not visit the squirrel then the dog is kind.
((("something" "visits" "dog" "+") ("dog" "visits" "squirrel" "~")) -> ("dog" "is" "kind" "+"))
The dog is blue.
True
1
proof
[(triple1)]
("dog" "is" "blue" "+")
triple1
The rabbit is not red.
False
1
inv-proof
[(triple6)]
("rabbit" "is" "red" "-")
triple6
The dog sees the rabbit.
True
2
proof
[(((triple1) -> rule2))]
("dog" "sees" "rabbit" "+")
((triple1) -> (rule2 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog does not see the rabbit.
False
2
inv-proof
[(((triple1) -> rule2))]
("dog" "sees" "rabbit" "-")
((triple1) -> (rule2 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The rabbit does not see the squirrel.
Unknown
inv-rconc
[@1: The rabbit sees the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "sees" "squirrel" "-")
The rabbit sees the rabbit.
Unknown
rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "sees" "rabbit" "+")
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 squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The dog is blue.[(triple1)] The dog likes the squirrel.[(triple2)] The dog sees the squirrel.[(triple3)] The dog visits the squirrel.[(triple4)] The rabbit does not visit the dog.[(triple9)] The rabbit is kind.[(triple5)] The rabbit is not round.[(triple7)] The rabbit is red.[(triple6)] The rabbit sees the dog.[(triple8)] The rabbit visits the squirrel.[(triple10)] The squirrel does not like the dog.[(triple13)] The squirrel is not young.[(triple12)] The squirrel is red.[(triple11)] The squirrel sees the dog.[(triple14)] The squirrel sees the rabbit.[(triple15)] @1: The dog sees the rabbit.[(((triple1) -> rule2))]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple2
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple3
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple4
The rabbit does not visit the dog.
("rabbit" "visits" "dog" "-")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit is not round.
("rabbit" "is" "round" "-")
triple7
The rabbit is red.
("rabbit" "is" "red" "+")
triple6
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple8
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple10
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
triple13
The squirrel is not young.
("squirrel" "is" "young" "-")
triple12
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple14
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple15
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
((triple1) -> (rule2 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1