The cat chases the cow. The cat chases the dog. The cat eats the cow. The cat is nice. The cat is round. The cat does not see the dog. The cow chases the dog. The cow eats the cat. The cow sees the cat. The cow sees the dog. The dog chases the cat. The dog chases the cow. The dog eats the cat. The dog is not nice. The dog sees the cow. If someone chases the cow then they are not big. If the dog is big then the dog is not red. If someone is nice and not big then they eat the dog.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat does not see the dog.
("cat" "sees" "dog" "-")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The dog sees the cow.
("dog" "sees" "cow" "+")
If someone chases the cow then they are not big.
((("someone" "chases" "cow" "+")) -> ("someone" "is" "big" "-"))
If the dog is big then the dog is not red.
((("dog" "is" "big" "+")) -> ("dog" "is" "red" "-"))
If someone is nice and not big then they eat the dog.
((("someone" "is" "nice" "+") ("someone" "is" "big" "~")) -> ("someone" "eats" "dog" "+"))
The cat chases the cow.
True
1
proof
[(triple1)]
("cat" "chases" "cow" "+")
triple1
The cat is not round.
False
1
inv-proof
[(triple5)]
("cat" "is" "round" "-")
triple5
The dog is not big.
True
2
proof
[(((triple12) -> rule1))]
("dog" "is" "big" "-")
((triple12) -> (rule1 % int1))
The dog is not big.
("dog" "is" "big" "-")
int1
The cat is big.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "is" "big" "+")
((triple1) -> (rule1 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1
The cat eats the dog.
True
4
proof
[(((triple4 ((triple1) -> rule1)) -> rule3))]
("cat" "eats" "dog" "+")
((triple4 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat is not big.
("cat" "is" "big" "-")
int2
The cat does not eat the dog.
False
4
inv-proof
[(((triple4 ((triple1) -> rule1)) -> rule3))]
("cat" "eats" "dog" "-")
((triple4 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat is not big.
("cat" "is" "big" "-")
int2
The cow does not eat the dog.
Unknown
inv-rconc
[@1: The cow eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "eats" "dog" "-")
The dog eats the dog.
Unknown
rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "eats" "dog" "+")
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The cow chases the cat.
Unknown
random
[@0: The cow chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cat" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The cat chases the cow.[(triple1)] The cat chases the dog.[(triple2)] The cat does not see the dog.[(triple6)] The cat eats the cow.[(triple3)] The cat is nice.[(triple4)] The cat is round.[(triple5)] The cow chases the dog.[(triple7)] The cow eats the cat.[(triple8)] The cow sees the cat.[(triple9)] The cow sees the dog.[(triple10)] The dog chases the cat.[(triple11)] The dog chases the cow.[(triple12)] The dog eats the cat.[(triple13)] The dog is not nice.[(triple14)] The dog sees the cow.[(triple15)] @1: The cat is not big.[(((triple1) -> rule1))] The dog is not big.[(((triple12) -> rule1))] @2: The cat eats the dog.[(((triple4 ((triple1) -> rule1)) -> rule3))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat chases the dog.
("cat" "chases" "dog" "+")
triple2
The cat does not see the dog.
("cat" "sees" "dog" "-")
triple6
The cat eats the cow.
("cat" "eats" "cow" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cow chases the dog.
("cow" "chases" "dog" "+")
triple7
The cow eats the cat.
("cow" "eats" "cat" "+")
triple8
The cow sees the cat.
("cow" "sees" "cat" "+")
triple9
The cow sees the dog.
("cow" "sees" "dog" "+")
triple10
The dog chases the cat.
("dog" "chases" "cat" "+")
triple11
The dog chases the cow.
("dog" "chases" "cow" "+")
triple12
The dog eats the cat.
("dog" "eats" "cat" "+")
triple13
The dog is not nice.
("dog" "is" "nice" "-")
triple14
The dog sees the cow.
("dog" "sees" "cow" "+")
triple15
The cat is not big.
("cat" "is" "big" "-")
((triple1) -> (rule1 % int1))
The cat is not big.
("cat" "is" "big" "-")
int1
The dog is not big.
("dog" "is" "big" "-")
((triple12) -> (rule1 % int1))
The dog is not big.
("dog" "is" "big" "-")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
((triple4 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat is not big.
("cat" "is" "big" "-")
int2