The cat chases the rabbit. The cat is big. The cat is blue. The cat is red. The cat needs the tiger. The rabbit does not eat the tiger. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit needs the cat. The tiger chases the rabbit. The tiger does not eat the cat. The tiger eats the rabbit. The tiger is blue. The tiger needs the rabbit. If the cat eats the tiger and the tiger chases the cat then the tiger is blue. If something needs the tiger then it does not eat the cat. If something chases the tiger then the tiger does not need the cat. If something is blue and it needs the tiger then the tiger is not green. If the cat does not eat the tiger then the cat is green. If something needs the cat and it does not chase the tiger then the cat does not need the rabbit. If something is big and it chases the cat then the cat needs the rabbit. If something needs the tiger then the tiger is red.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is red.
("cat" "is" "red" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If the cat eats the tiger and the tiger chases the cat then the tiger is blue.
((("cat" "eats" "tiger" "+") ("tiger" "chases" "cat" "+")) -> ("tiger" "is" "blue" "+"))
If something needs the tiger then it does not eat the cat.
((("something" "needs" "tiger" "+")) -> ("something" "eats" "cat" "-"))
If something chases the tiger then the tiger does not need the cat.
((("something" "chases" "tiger" "+")) -> ("tiger" "needs" "cat" "-"))
If something is blue and it needs the tiger then the tiger is not green.
((("something" "is" "blue" "+") ("something" "needs" "tiger" "+")) -> ("tiger" "is" "green" "-"))
If the cat does not eat the tiger then the cat is green.
((("cat" "eats" "tiger" "~")) -> ("cat" "is" "green" "+"))
If something needs the cat and it does not chase the tiger then the cat does not need the rabbit.
((("something" "needs" "cat" "+") ("something" "chases" "tiger" "~")) -> ("cat" "needs" "rabbit" "-"))
If something is big and it chases the cat then the cat needs the rabbit.
((("something" "is" "big" "+") ("something" "chases" "cat" "+")) -> ("cat" "needs" "rabbit" "+"))
If something needs the tiger then the tiger is red.
((("something" "needs" "tiger" "+")) -> ("tiger" "is" "red" "+"))
The cat needs the tiger.
True
1
proof
[(triple5)]
("cat" "needs" "tiger" "+")
triple5
The cat does not need the tiger.
False
1
inv-proof
[(triple5)]
("cat" "needs" "tiger" "-")
triple5
The cat does not eat the cat.
True
2
proof
[(((triple5) -> rule2))]
("cat" "eats" "cat" "-")
((triple5) -> (rule2 % int1))
The cat does not eat the cat.
("cat" "eats" "cat" "-")
int1
The cat eats the cat.
False
2
inv-proof
[(((triple5) -> rule2))]
("cat" "eats" "cat" "+")
((triple5) -> (rule2 % int1))
The cat does not eat the cat.
("cat" "eats" "cat" "-")
int1
The cat does not need the rabbit.
Unknown
inv-rconc
[@1: The cat needs the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "needs" "rabbit" "-")
The cat is green.
Unknown
rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "green" "+")
The rabbit does not need the tiger.
Unknown
inv-random
[@0: The rabbit needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "tiger" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat chases the rabbit.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is red.[(triple4)] The cat needs the tiger.[(triple5)] The rabbit does not eat the tiger.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is green.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is red.[(triple10)] The rabbit needs the cat.[(triple11)] The tiger chases the rabbit.[(triple12)] The tiger does not eat the cat.[(triple13)] The tiger eats the rabbit.[(triple14)] The tiger is blue.[(triple15)] The tiger needs the rabbit.[(triple16)] @1: The cat does not eat the cat.[(((triple5) -> rule2))] The tiger is not green.[(((triple3 triple5) -> rule4))] The tiger is red.[(((triple5) -> rule8))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is red.
("cat" "is" "red" "+")
triple4
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple5
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
triple6
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
The rabbit is green.
("rabbit" "is" "green" "+")
triple8
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple9
The rabbit is red.
("rabbit" "is" "red" "+")
triple10
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple11
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple12
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
triple13
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple14
The tiger is blue.
("tiger" "is" "blue" "+")
triple15
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple16
The cat does not eat the cat.
("cat" "eats" "cat" "-")
((triple5) -> (rule2 % int1))
The cat does not eat the cat.
("cat" "eats" "cat" "-")
int1
The tiger is not green.
("tiger" "is" "green" "-")
((triple3 triple5) -> (rule4 % int1))
The tiger is not green.
("tiger" "is" "green" "-")
int1
The tiger is red.
("tiger" "is" "red" "+")
((triple5) -> (rule8 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1