The cat eats the dog. The dog visits the cat. If the dog eats the cat and the cat eats the dog then the dog sees the cat. If something eats the dog and it visits the dog then it eats the cat. If the cat is nice then the cat sees the dog. If something is nice then it is big. If something is blue and it visits the dog then it sees the dog. If something visits the cat then it sees the dog. If something visits the cat then the cat visits the dog. If something visits the cat and the cat visits the dog then the dog sees the cat.
The cat eats the dog.
("cat" "eats" "dog" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
If the dog eats the cat and the cat eats the dog then the dog sees the cat.
((("dog" "eats" "cat" "+") ("cat" "eats" "dog" "+")) -> ("dog" "sees" "cat" "+"))
If something eats the dog and it visits the dog then it eats the cat.
((("something" "eats" "dog" "+") ("something" "visits" "dog" "+")) -> ("something" "eats" "cat" "+"))
If the cat is nice then the cat sees the dog.
((("cat" "is" "nice" "+")) -> ("cat" "sees" "dog" "+"))
If something is nice then it is big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If something is blue and it visits the dog then it sees the dog.
((("something" "is" "blue" "+") ("something" "visits" "dog" "+")) -> ("something" "sees" "dog" "+"))
If something visits the cat then it sees the dog.
((("something" "visits" "cat" "+")) -> ("something" "sees" "dog" "+"))
If something visits the cat then the cat visits the dog.
((("something" "visits" "cat" "+")) -> ("cat" "visits" "dog" "+"))
If something visits the cat and the cat visits the dog then the dog sees the cat.
((("something" "visits" "cat" "+") ("cat" "visits" "dog" "+")) -> ("dog" "sees" "cat" "+"))
The cat eats the dog.
True
1
proof
[(triple1)]
("cat" "eats" "dog" "+")
triple1
The dog does not visit the cat.
False
1
inv-proof
[(triple2)]
("dog" "visits" "cat" "-")
triple2
The cat is not big.
Unknown
inv-rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "big" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The cat eats the dog.[(triple1)] The dog visits the cat.[(triple2)] @1: The cat visits the dog.[(((triple2) -> rule7))] The dog sees the dog.[(((triple2) -> rule6))] @2: The cat eats the cat.[(((triple1 ((triple2) -> rule7)) -> rule2))] The dog sees the cat.[(((triple2 ((triple2) -> rule7)) -> rule8))]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The dog visits the cat.
("dog" "visits" "cat" "+")
triple2
The cat visits the dog.
("cat" "visits" "dog" "+")
((triple2) -> (rule7 % int1))
The cat visits the dog.
("cat" "visits" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple2) -> (rule6 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple1 ((triple2) -> (rule7 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the dog.
("cat" "visits" "dog" "+")
int2
The dog sees the cat.
("dog" "sees" "cat" "+")
((triple2 ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
The cat visits the dog.
("cat" "visits" "dog" "+")
int2