The cat is red. The cat is rough. The cat is round. The cat is young. The cat needs the dog. The cat sees the dog. The cat visits the dog. The dog is red. The dog is rough. The dog visits the cat. If something needs the dog then the dog is young. If something is round then it is red. If something sees the cat and it visits the dog then the cat is cold.
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
If something needs the dog then the dog is young.
((("something" "needs" "dog" "+")) -> ("dog" "is" "young" "+"))
If something is round then it is red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
If something sees the cat and it visits the dog then the cat is cold.
((("something" "sees" "cat" "+") ("something" "visits" "dog" "+")) -> ("cat" "is" "cold" "+"))
The dog visits the cat.
True
1
proof
[(triple10)]
("dog" "visits" "cat" "+")
triple10
The cat is not round.
False
1
inv-proof
[(triple3)]
("cat" "is" "round" "-")
triple3
The cat is not cold.
Unknown
inv-rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "cold" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat is red.[(triple1 OR ((triple3) -> rule2))] The cat is rough.[(triple2)] The cat is round.[(triple3)] The cat is young.[(triple4)] The cat needs the dog.[(triple5)] The cat sees the dog.[(triple6)] The cat visits the dog.[(triple7)] The dog is red.[(triple8)] The dog is rough.[(triple9)] The dog visits the cat.[(triple10)] @1: The dog is young.[(((triple5) -> rule1))]
The cat is red.
("cat" "is" "red" "+")
triple1
((triple3) -> (rule2 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat needs the dog.
("cat" "needs" "dog" "+")
triple5
The cat sees the dog.
("cat" "sees" "dog" "+")
triple6
The cat visits the dog.
("cat" "visits" "dog" "+")
triple7
The dog is red.
("dog" "is" "red" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The dog visits the cat.
("dog" "visits" "cat" "+")
triple10
The dog is young.
("dog" "is" "young" "+")
((triple5) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1