The bear visits the dog. The cat chases the bear. The cat eats the dog. The cat is green. The cat visits the bear. The dog chases the bear. The dog chases the cat. The dog eats the cat. The dog is big. The dog is green. The dog is young. The dog visits the cat. If something chases the cat then the cat chases the dog. If something visits the dog then the dog visits the cat. If something visits the bear and it is young then the bear eats the dog. If the bear is young and the bear eats the cat then the cat is young. If something visits the cat then the cat eats the dog. If something chases the cat and it is young then the cat is green.
The bear visits the dog.
("bear" "visits" "dog" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is green.
("cat" "is" "green" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is young.
("dog" "is" "young" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
If something chases the cat then the cat chases the dog.
((("something" "chases" "cat" "+")) -> ("cat" "chases" "dog" "+"))
If something visits the dog then the dog visits the cat.
((("something" "visits" "dog" "+")) -> ("dog" "visits" "cat" "+"))
If something visits the bear and it is young then the bear eats the dog.
((("something" "visits" "bear" "+") ("something" "is" "young" "+")) -> ("bear" "eats" "dog" "+"))
If the bear is young and the bear eats the cat then the cat is young.
((("bear" "is" "young" "+") ("bear" "eats" "cat" "+")) -> ("cat" "is" "young" "+"))
If something visits the cat then the cat eats the dog.
((("something" "visits" "cat" "+")) -> ("cat" "eats" "dog" "+"))
If something chases the cat and it is young then the cat is green.
((("something" "chases" "cat" "+") ("something" "is" "young" "+")) -> ("cat" "is" "green" "+"))
The dog eats the cat.
True
1
proof
[(triple8)]
("dog" "eats" "cat" "+")
triple8
The dog is not green.
False
1
inv-proof
[(triple10)]
("dog" "is" "green" "-")
triple10
The cat chases the dog.
True
2
proof
[(((triple7) -> rule1))]
("cat" "chases" "dog" "+")
((triple7) -> (rule1 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat does not chase the dog.
False
2
inv-proof
[(((triple7) -> rule1))]
("cat" "chases" "dog" "-")
((triple7) -> (rule1 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat is not young.
Unknown
inv-rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "young" "-")
The bear eats the dog.
Unknown
rconc
[@2: The bear eats the dog.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("bear" "eats" "dog" "+")
The cat is not big.
Unknown
inv-random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "-")
The bear eats the cat.
Unknown
random
[@0: The bear eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cat" "+")
@0: The bear visits the dog.[(triple1)] The cat chases the bear.[(triple2)] The cat eats the dog.[(triple3 OR ((triple12) -> rule5) OR ((((triple1) -> rule2)) -> rule5))] The cat is green.[(triple4 OR ((triple7 triple11) -> rule6))] The cat visits the bear.[(triple5)] The dog chases the bear.[(triple6)] The dog chases the cat.[(triple7)] The dog eats the cat.[(triple8)] The dog is big.[(triple9)] The dog is green.[(triple10)] The dog is young.[(triple11)] The dog visits the cat.[(triple12 OR ((triple1) -> rule2))] @1: The cat chases the dog.[(((triple7) -> rule1))]
The bear visits the dog.
("bear" "visits" "dog" "+")
triple1
The cat chases the bear.
("cat" "chases" "bear" "+")
triple2
The cat eats the dog.
("cat" "eats" "dog" "+")
triple3
((triple12) -> (rule5 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The dog visits the cat.
("dog" "visits" "cat" "+")
int2
The cat is green.
("cat" "is" "green" "+")
triple4
((triple7 triple11) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
triple5
The dog chases the bear.
("dog" "chases" "bear" "+")
triple6
The dog chases the cat.
("dog" "chases" "cat" "+")
triple7
The dog eats the cat.
("dog" "eats" "cat" "+")
triple8
The dog is big.
("dog" "is" "big" "+")
triple9
The dog is green.
("dog" "is" "green" "+")
triple10
The dog is young.
("dog" "is" "young" "+")
triple11
The dog visits the cat.
("dog" "visits" "cat" "+")
triple12
((triple1) -> (rule2 % int1))
The dog visits the cat.
("dog" "visits" "cat" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
((triple7) -> (rule1 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1