The cat is blue. The cat is green. The rabbit chases the tiger. The rabbit eats the tiger. The rabbit is blue. The rabbit sees the cat. The tiger chases the cat. The tiger eats the rabbit. The tiger is big. The tiger is green. The tiger is young. The tiger sees the cat. If something is blue and it sees the tiger then the tiger is green. If something is green then it sees the cat. If the tiger is kind then the tiger sees the cat. If something chases the tiger then the tiger chases the rabbit. If something chases the cat and the cat is big then the cat eats the tiger. If something sees the cat and the cat is green then it eats the rabbit.
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If something is blue and it sees the tiger then the tiger is green.
((("something" "is" "blue" "+") ("something" "sees" "tiger" "+")) -> ("tiger" "is" "green" "+"))
If something is green then it sees the cat.
((("something" "is" "green" "+")) -> ("something" "sees" "cat" "+"))
If the tiger is kind then the tiger sees the cat.
((("tiger" "is" "kind" "+")) -> ("tiger" "sees" "cat" "+"))
If something chases the tiger then the tiger chases the rabbit.
((("something" "chases" "tiger" "+")) -> ("tiger" "chases" "rabbit" "+"))
If something chases the cat and the cat is big then the cat eats the tiger.
((("something" "chases" "cat" "+") ("cat" "is" "big" "+")) -> ("cat" "eats" "tiger" "+"))
If something sees the cat and the cat is green then it eats the rabbit.
((("something" "sees" "cat" "+") ("cat" "is" "green" "+")) -> ("something" "eats" "rabbit" "+"))
The cat is blue.
True
1
proof
[(triple1)]
("cat" "is" "blue" "+")
triple1
The tiger is not big.
False
1
inv-proof
[(triple9)]
("tiger" "is" "big" "-")
triple9
The cat does not eat the tiger.
Unknown
inv-rconc
[@1: The cat eats the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "eats" "tiger" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The cat is blue.[(triple1)] The cat is green.[(triple2)] The rabbit chases the tiger.[(triple3)] The rabbit eats the tiger.[(triple4)] The rabbit is blue.[(triple5)] The rabbit sees the cat.[(triple6)] The tiger chases the cat.[(triple7)] The tiger eats the rabbit.[(triple8 OR ((triple12 triple2) -> rule6) OR ((((triple10) -> rule2) triple2) -> rule6))] The tiger is big.[(triple9)] The tiger is green.[(triple10)] The tiger is young.[(triple11)] The tiger sees the cat.[(triple12 OR ((triple10) -> rule2))] @1: The cat sees the cat.[(((triple2) -> rule2))] The rabbit eats the rabbit.[(((triple6 triple2) -> rule6))] The tiger chases the rabbit.[(((triple3) -> rule4))] @2: The cat eats the rabbit.[(((((triple2) -> rule2) triple2) -> rule6))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple3
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple4
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple5
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple6
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple7
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple8
((triple12 triple2) -> (rule6 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
((((triple10) -> (rule2 % int2)) triple2) -> (rule6 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The tiger sees the cat.
("tiger" "sees" "cat" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is young.
("tiger" "is" "young" "+")
triple11
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple12
((triple10) -> (rule2 % int1))
The tiger sees the cat.
("tiger" "sees" "cat" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple2) -> (rule2 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple6 triple2) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
((triple3) -> (rule4 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule6 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2