The cat eats the dog. The cat likes the dog. The cat sees the cow. The cow is nice. The cow is red. The cow is rough. The cow likes the dog. The cow sees the cat. The dog eats the cow. The dog is rough. If someone is cold and they see the cat then the cat is red. If someone likes the dog then the dog is red.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is rough.
("dog" "is" "rough" "+")
If someone is cold and they see the cat then the cat is red.
((("someone" "is" "cold" "+") ("someone" "sees" "cat" "+")) -> ("cat" "is" "red" "+"))
If someone likes the dog then the dog is red.
((("someone" "likes" "dog" "+")) -> ("dog" "is" "red" "+"))
The cow is red.
True
1
proof
[(triple5)]
("cow" "is" "red" "+")
triple5
The cat does not eat the dog.
False
1
inv-proof
[(triple1)]
("cat" "eats" "dog" "-")
triple1
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "red" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
@0: The cat eats the dog.[(triple1)] The cat likes the dog.[(triple2)] The cat sees the cow.[(triple3)] The cow is nice.[(triple4)] The cow is red.[(triple5)] The cow is rough.[(triple6)] The cow likes the dog.[(triple7)] The cow sees the cat.[(triple8)] The dog eats the cow.[(triple9)] The dog is rough.[(triple10)] @1: The dog is red.[(((triple2) -> rule2) OR ((triple7) -> rule2))]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat likes the dog.
("cat" "likes" "dog" "+")
triple2
The cat sees the cow.
("cat" "sees" "cow" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow likes the dog.
("cow" "likes" "dog" "+")
triple7
The cow sees the cat.
("cow" "sees" "cat" "+")
triple8
The dog eats the cow.
("dog" "eats" "cow" "+")
triple9
The dog is rough.
("dog" "is" "rough" "+")
triple10
The dog is red.
("dog" "is" "red" "+")
((triple2) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
((triple7) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1