The cat eats the dog. The cat is big. The cat is cold. The cat is red. The cat is round. The cat is not young. The cat visits the dog. The dog is big. The dog is young. The dog visits the cat. If something visits the cat and the cat is red then the cat eats the dog. If the dog chases the cat then the dog visits the cat. If something eats the dog then the dog eats the cat. All big things are red. If something chases the dog then it eats the dog. If the dog eats the cat and the dog visits the cat then the dog chases the cat. If the cat eats the dog then the cat chases the dog. If the cat eats the dog then the cat chases the dog.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is not young.
("cat" "is" "young" "-")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is young.
("dog" "is" "young" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
If something visits the cat and the cat is red then the cat eats the dog.
((("something" "visits" "cat" "+") ("cat" "is" "red" "+")) -> ("cat" "eats" "dog" "+"))
If the dog chases the cat then the dog visits the cat.
((("dog" "chases" "cat" "+")) -> ("dog" "visits" "cat" "+"))
If something eats the dog then the dog eats the cat.
((("something" "eats" "dog" "+")) -> ("dog" "eats" "cat" "+"))
All big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something chases the dog then it eats the dog.
((("something" "chases" "dog" "+")) -> ("something" "eats" "dog" "+"))
If the dog eats the cat and the dog visits the cat then the dog chases the cat.
((("dog" "eats" "cat" "+") ("dog" "visits" "cat" "+")) -> ("dog" "chases" "cat" "+"))
If the cat eats the dog then the cat chases the dog.
((("cat" "eats" "dog" "+")) -> ("cat" "chases" "dog" "+"))
If the cat eats the dog then the cat chases the dog.
((("cat" "eats" "dog" "+")) -> ("cat" "chases" "dog" "+"))
The cat is red.
True
1
proof
[(triple4 OR ((triple2) -> rule4))]
("cat" "is" "red" "+")
triple4
((triple2) -> (rule4 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is young.
False
1
inv-proof
[(triple6)]
("cat" "is" "young" "+")
triple6
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "eats" "dog" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
@0: The cat eats the dog.[(triple1 OR ((triple10 triple4) -> rule1) OR ((triple10 ((triple2) -> rule4)) -> rule1))] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat is not young.[(triple6)] The cat is red.[(triple4 OR ((triple2) -> rule4))] The cat is round.[(triple5)] The cat visits the dog.[(triple7)] The dog is big.[(triple8)] The dog is young.[(triple9)] The dog visits the cat.[(triple10)] @1: The cat chases the dog.[(((triple1) -> rule7) OR ((triple1) -> rule8) OR ((((triple10 triple4) -> rule1)) -> rule7) OR ((((triple10 triple4) -> rule1)) -> rule8) OR ((((triple10 ((triple2) -> rule4)) -> rule1)) -> rule7) OR ((((triple10 ((triple2) -> rule4)) -> rule1)) -> rule8))] The dog eats the cat.[(((triple1) -> rule3) OR ((((triple10 triple4) -> rule1)) -> rule3) OR ((((triple10 ((triple2) -> rule4)) -> rule1)) -> rule3))] The dog is red.[(((triple8) -> rule4))] @2: The dog chases the cat.[(((((triple1) -> rule3) triple10) -> rule6) OR ((((((triple10 triple4) -> rule1)) -> rule3) triple10) -> rule6) OR ((((((triple10 ((triple2) -> rule4)) -> rule1)) -> rule3) triple10) -> rule6))]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
((triple10 triple4) -> (rule1 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
((triple10 ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat is not young.
("cat" "is" "young" "-")
triple6
The cat is red.
("cat" "is" "red" "+")
triple4
((triple2) -> (rule4 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is round.
("cat" "is" "round" "+")
triple5
The cat visits the dog.
("cat" "visits" "dog" "+")
triple7
The dog is big.
("dog" "is" "big" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog visits the cat.
("dog" "visits" "cat" "+")
triple10
The cat chases the dog.
("cat" "chases" "dog" "+")
((triple1) -> (rule7 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
((triple1) -> (rule8 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
((((triple10 triple4) -> (rule1 % int2))) -> (rule7 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
int2
((((triple10 triple4) -> (rule1 % int2))) -> (rule8 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
int2
((((triple10 ((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
((((triple10 ((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The dog eats the cat.
("dog" "eats" "cat" "+")
((triple1) -> (rule3 % int1))
The dog eats the cat.
("dog" "eats" "cat" "+")
int1
((((triple10 triple4) -> (rule1 % int2))) -> (rule3 % int1))
The dog eats the cat.
("dog" "eats" "cat" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
int2
((((triple10 ((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The dog eats the cat.
("dog" "eats" "cat" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The dog is red.
("dog" "is" "red" "+")
((triple8) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
((((triple1) -> (rule3 % int2)) triple10) -> (rule6 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
int2
((((((triple10 triple4) -> (rule1 % int3))) -> (rule3 % int2)) triple10) -> (rule6 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
int2
The cat eats the dog.
("cat" "eats" "dog" "+")
int3
((((((triple10 ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple10) -> (rule6 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
int2
The cat eats the dog.
("cat" "eats" "dog" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4