The cat needs the dog. The dog visits the rabbit. The rabbit likes the squirrel. The squirrel visits the cat. If someone needs the dog then they are nice.
The cat needs the dog.
("cat" "needs" "dog" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone needs the dog then they are nice.
((("someone" "needs" "dog" "+")) -> ("someone" "is" "nice" "+"))
The dog visits the rabbit.
True
1
proof
[(triple2)]
("dog" "visits" "rabbit" "+")
triple2
The dog does not visit the rabbit.
False
1
inv-proof
[(triple2)]
("dog" "visits" "rabbit" "-")
triple2
The cat is nice.
True
2
proof
[(((triple1) -> rule1))]
("cat" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is not nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "is" "nice" "-")
((triple1) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "nice" "-")
The rabbit is nice.
Unknown
rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "nice" "+")
The cat does not visit the squirrel.
Unknown
inv-random
[@0: The cat visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "squirrel" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The cat needs the dog.[(triple1)] The dog visits the rabbit.[(triple2)] The rabbit likes the squirrel.[(triple3)] The squirrel visits the cat.[(triple4)] @1: The cat is nice.[(((triple1) -> rule1))]
The cat needs the dog.
("cat" "needs" "dog" "+")
triple1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple2
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple3
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple4
The cat is nice.
("cat" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1