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