The cat is blue. The cat is green. The cat likes the dog. The cat needs the dog. The cat visits the dog. The dog is cold. The dog is green. The dog is round. The dog needs the cat. The dog visits the cat. If someone visits the dog then they like the cat.
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
If someone visits the dog then they like the cat.
((("someone" "visits" "dog" "+")) -> ("someone" "likes" "cat" "+"))
The dog is round.
True
1
proof
[(triple8)]
("dog" "is" "round" "+")
triple8
The cat does not need the dog.
False
1
inv-proof
[(triple4)]
("cat" "needs" "dog" "-")
triple4
The cat likes the cat.
True
2
proof
[(((triple5) -> rule1))]
("cat" "likes" "cat" "+")
((triple5) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat does not like the cat.
False
2
inv-proof
[(((triple5) -> rule1))]
("cat" "likes" "cat" "-")
((triple5) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The dog does not like the cat.
Unknown
inv-rconc
[@1: The dog likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "cat" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat is blue.[(triple1)] The cat is green.[(triple2)] The cat likes the dog.[(triple3)] The cat needs the dog.[(triple4)] The cat visits the dog.[(triple5)] The dog is cold.[(triple6)] The dog is green.[(triple7)] The dog is round.[(triple8)] The dog needs the cat.[(triple9)] The dog visits the cat.[(triple10)] @1: The cat likes the cat.[(((triple5) -> rule1))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat likes the dog.
("cat" "likes" "dog" "+")
triple3
The cat needs the dog.
("cat" "needs" "dog" "+")
triple4
The cat visits the dog.
("cat" "visits" "dog" "+")
triple5
The dog is cold.
("dog" "is" "cold" "+")
triple6
The dog is green.
("dog" "is" "green" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
triple8
The dog needs the cat.
("dog" "needs" "cat" "+")
triple9
The dog visits the cat.
("dog" "visits" "cat" "+")
triple10
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple5) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1