The cat chases the cow. The cat chases the tiger. The cat does not like the cow. The cat likes the tiger. The cat sees the cow. The cow chases the cat. The cow chases the tiger. The cow is big. The cow is not green. The cow is nice. The cow sees the cat. The cow sees the tiger. The tiger is green. The tiger is nice. The tiger is not round. The tiger sees the cat. If someone chases the tiger and they are green then they are red. If someone is round and they like the cat then they see the cow. If someone sees the tiger then they are round. If the cow is round and the cow sees the cat then the cow does not like the tiger. If someone sees the cow then they see the tiger. If the tiger does not chase the cow then the tiger sees the cow. If the tiger chases the cat and the tiger is green then the cat is big. If someone likes the cat and they do not see the tiger then the cat likes the cow.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat does not like the cow.
("cat" "likes" "cow" "-")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If someone chases the tiger and they are green then they are red.
((("someone" "chases" "tiger" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is round and they like the cat then they see the cow.
((("someone" "is" "round" "+") ("someone" "likes" "cat" "+")) -> ("someone" "sees" "cow" "+"))
If someone sees the tiger then they are round.
((("someone" "sees" "tiger" "+")) -> ("someone" "is" "round" "+"))
If the cow is round and the cow sees the cat then the cow does not like the tiger.
((("cow" "is" "round" "+") ("cow" "sees" "cat" "+")) -> ("cow" "likes" "tiger" "-"))
If someone sees the cow then they see the tiger.
((("someone" "sees" "cow" "+")) -> ("someone" "sees" "tiger" "+"))
If the tiger does not chase the cow then the tiger sees the cow.
((("tiger" "chases" "cow" "~")) -> ("tiger" "sees" "cow" "+"))
If the tiger chases the cat and the tiger is green then the cat is big.
((("tiger" "chases" "cat" "+") ("tiger" "is" "green" "+")) -> ("cat" "is" "big" "+"))
If someone likes the cat and they do not see the tiger then the cat likes the cow.
((("someone" "likes" "cat" "+") ("someone" "sees" "tiger" "~")) -> ("cat" "likes" "cow" "+"))
The tiger is green.
True
1
proof
[(triple13)]
("tiger" "is" "green" "+")
triple13
The cow is green.
False
1
inv-proof
[(triple9)]
("cow" "is" "green" "+")
triple9
The cat sees the tiger.
True
2
proof
[(((triple5) -> rule5))]
("cat" "sees" "tiger" "+")
((triple5) -> (rule5 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The cat does not see the tiger.
False
2
inv-proof
[(((triple5) -> rule5))]
("cat" "sees" "tiger" "-")
((triple5) -> (rule5 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The tiger does not see the tiger.
Unknown
inv-rconc
[@2: The tiger sees the tiger.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The cow is red.
Unknown
rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "red" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
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 cow.[(triple1)] The cat chases the tiger.[(triple2)] The cat does not like the cow.[(triple3)] The cat likes the tiger.[(triple4)] The cat sees the cow.[(triple5)] The cow chases the cat.[(triple6)] The cow chases the tiger.[(triple7)] The cow is big.[(triple8)] The cow is nice.[(triple10)] The cow is not green.[(triple9)] The cow sees the cat.[(triple11)] The cow sees the tiger.[(triple12)] The tiger is green.[(triple13)] The tiger is nice.[(triple14)] The tiger is not round.[(triple15)] The tiger sees the cat.[(triple16)] @1: The cat sees the tiger.[(((triple5) -> rule5))] The cow is round.[(((triple12) -> rule3))] @2: The cat is round.[(((((triple5) -> rule5)) -> rule3))] The cow does not like the tiger.[(((((triple12) -> rule3) triple11) -> rule4))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple2
The cat does not like the cow.
("cat" "likes" "cow" "-")
triple3
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple4
The cat sees the cow.
("cat" "sees" "cow" "+")
triple5
The cow chases the cat.
("cow" "chases" "cat" "+")
triple6
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple7
The cow is big.
("cow" "is" "big" "+")
triple8
The cow is nice.
("cow" "is" "nice" "+")
triple10
The cow is not green.
("cow" "is" "green" "-")
triple9
The cow sees the cat.
("cow" "sees" "cat" "+")
triple11
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple12
The tiger is green.
("tiger" "is" "green" "+")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
The tiger is not round.
("tiger" "is" "round" "-")
triple15
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple16
The cat sees the tiger.
("cat" "sees" "tiger" "+")
((triple5) -> (rule5 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The cow is round.
("cow" "is" "round" "+")
((triple12) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cat is round.
("cat" "is" "round" "+")
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int2
The cow does not like the tiger.
("cow" "likes" "tiger" "-")
((((triple12) -> (rule3 % int2)) triple11) -> (rule4 % int1))
The cow does not like the tiger.
("cow" "likes" "tiger" "-")
int1
The cow is round.
("cow" "is" "round" "+")
int2