The cat chases the tiger. The cat eats the tiger. The cat is blue. The cat is cold. The dog chases the tiger. The dog eats the tiger. The dog is big. The dog visits the cat. The tiger is cold. The tiger visits the cat. If something is nice then it eats the tiger. If something is big and it chases the cat then it chases the dog.
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is big.
("dog" "is" "big" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something is nice then it eats the tiger.
((("something" "is" "nice" "+")) -> ("something" "eats" "tiger" "+"))
If something is big and it chases the cat then it chases the dog.
((("something" "is" "big" "+") ("something" "chases" "cat" "+")) -> ("something" "chases" "dog" "+"))
The dog visits the cat.
True
1
proof
[(triple8)]
("dog" "visits" "cat" "+")
triple8
The cat does not eat the tiger.
False
1
inv-proof
[(triple2)]
("cat" "eats" "tiger" "-")
triple2
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
@0: The cat chases the tiger.[(triple1)] The cat eats the tiger.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The dog chases the tiger.[(triple5)] The dog eats the tiger.[(triple6)] The dog is big.[(triple7)] The dog visits the cat.[(triple8)] The tiger is cold.[(triple9)] The tiger visits the cat.[(triple10)]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple5
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
The dog visits the cat.
("dog" "visits" "cat" "+")
triple8
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple10