The dog needs the squirrel. The dog sees the squirrel. The squirrel needs the dog. If someone sees the squirrel then they are rough. If someone likes the squirrel then they are big.
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If someone sees the squirrel then they are rough.
((("someone" "sees" "squirrel" "+")) -> ("someone" "is" "rough" "+"))
If someone likes the squirrel then they are big.
((("someone" "likes" "squirrel" "+")) -> ("someone" "is" "big" "+"))
The squirrel needs the dog.
True
1
proof
[(triple3)]
("squirrel" "needs" "dog" "+")
triple3
The dog does not need the squirrel.
False
1
inv-proof
[(triple1)]
("dog" "needs" "squirrel" "-")
triple1
The dog is rough.
True
2
proof
[(((triple2) -> rule1))]
("dog" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is not rough.
False
2
inv-proof
[(((triple2) -> rule1))]
("dog" "is" "rough" "-")
((triple2) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "big" "-")
The squirrel is big.
Unknown
rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "big" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The dog needs the squirrel.[(triple1)] The dog sees the squirrel.[(triple2)] The squirrel needs the dog.[(triple3)] @1: The dog is rough.[(((triple2) -> rule1))]
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple2
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple3
The dog is rough.
("dog" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1