The cat eats the dog. The cat is round. The cat is young. The cat needs the dog. The cat sees the dog. The dog eats the cat. The dog is red. The dog is round. The dog needs the cat. The dog sees the cat. If the cat is cold and the cat sees the dog then the cat needs the dog. If someone sees the dog then the dog is round.
The cat eats the dog.
("cat" "eats" "dog" "+")
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 dog eats the cat.
("dog" "eats" "cat" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
If the cat is cold and the cat sees the dog then the cat needs the dog.
((("cat" "is" "cold" "+") ("cat" "sees" "dog" "+")) -> ("cat" "needs" "dog" "+"))
If someone sees the dog then the dog is round.
((("someone" "sees" "dog" "+")) -> ("dog" "is" "round" "+"))
The dog needs the cat.
True
1
proof
[(triple9)]
("dog" "needs" "cat" "+")
triple9
The cat does not need the dog.
False
1
inv-proof
[(triple4)]
("cat" "needs" "dog" "-")
triple4
The cat is not red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
@0: The cat eats the dog.[(triple1)] The cat is round.[(triple2)] The cat is young.[(triple3)] The cat needs the dog.[(triple4)] The cat sees the dog.[(triple5)] The dog eats the cat.[(triple6)] The dog is red.[(triple7)] The dog is round.[(triple8 OR ((triple5) -> rule2))] The dog needs the cat.[(triple9)] The dog sees the cat.[(triple10)]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The cat needs the dog.
("cat" "needs" "dog" "+")
triple4
The cat sees the dog.
("cat" "sees" "dog" "+")
triple5
The dog eats the cat.
("dog" "eats" "cat" "+")
triple6
The dog is red.
("dog" "is" "red" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
triple8
((triple5) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
triple9
The dog sees the cat.
("dog" "sees" "cat" "+")
triple10