The bald eagle chases the cat. The bald eagle chases the cow. The bald eagle visits the tiger. The cat chases the tiger. The cat visits the cow. The cow needs the tiger. The tiger chases the bald eagle. The tiger is green. The tiger needs the cow. The tiger visits the cow. If someone is rough then they are cold. If someone chases the cat and they chase the cow then the cat is green. If someone needs the tiger then they are nice. If the cow visits the bald eagle then the cow needs the bald eagle. If someone visits the tiger then the tiger is cold. If someone needs the bald eagle and they are nice then the bald eagle is green. If someone needs the bald eagle and they are cold then they visit the cat. If someone is nice and they need the tiger then the tiger needs the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If someone is rough then they are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone chases the cat and they chase the cow then the cat is green.
((("someone" "chases" "cat" "+") ("someone" "chases" "cow" "+")) -> ("cat" "is" "green" "+"))
If someone needs the tiger then they are nice.
((("someone" "needs" "tiger" "+")) -> ("someone" "is" "nice" "+"))
If the cow visits the bald eagle then the cow needs the bald eagle.
((("cow" "visits" "bald eagle" "+")) -> ("cow" "needs" "bald eagle" "+"))
If someone visits the tiger then the tiger is cold.
((("someone" "visits" "tiger" "+")) -> ("tiger" "is" "cold" "+"))
If someone needs the bald eagle and they are nice then the bald eagle is green.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "nice" "+")) -> ("bald eagle" "is" "green" "+"))
If someone needs the bald eagle and they are cold then they visit the cat.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "cold" "+")) -> ("someone" "visits" "cat" "+"))
If someone is nice and they need the tiger then the tiger needs the cat.
((("someone" "is" "nice" "+") ("someone" "needs" "tiger" "+")) -> ("tiger" "needs" "cat" "+"))
The cat chases the tiger.
True
1
proof
[(triple4)]
("cat" "chases" "tiger" "+")
triple4
The tiger is not green.
False
1
inv-proof
[(triple8)]
("tiger" "is" "green" "-")
triple8
The cat is green.
True
3
proof
[(((triple1 triple2) -> rule2))]
("cat" "is" "green" "+")
((triple1 triple2) -> (rule2 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cow is not nice.
False
2
inv-proof
[(((triple6) -> rule3))]
("cow" "is" "nice" "-")
((triple6) -> (rule3 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The tiger needs the cat.
True
4
proof
[(((((triple6) -> rule3) triple6) -> rule8))]
("tiger" "needs" "cat" "+")
((((triple6) -> (rule3 % int2)) triple6) -> (rule8 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The tiger does not need the cat.
False
4
inv-proof
[(((((triple6) -> rule3) triple6) -> rule8))]
("tiger" "needs" "cat" "-")
((((triple6) -> (rule3 % int2)) triple6) -> (rule8 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The tiger is not nice.
Unknown
inv-rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "nice" "-")
The cow needs the bald eagle.
Unknown
rconc
[@1: The cow needs the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "needs" "bald eagle" "+")
The bald eagle is not green.
Unknown
inv-rconc
[@2: The bald eagle is green.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("bald eagle" "is" "green" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The tiger chases the cat.
Unknown
random
[@0: The tiger chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "cat" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the cow.[(triple2)] The bald eagle visits the tiger.[(triple3)] The cat chases the tiger.[(triple4)] The cat visits the cow.[(triple5)] The cow needs the tiger.[(triple6)] The tiger chases the bald eagle.[(triple7)] The tiger is green.[(triple8)] The tiger needs the cow.[(triple9)] The tiger visits the cow.[(triple10)] @1: The cat is green.[(((triple1 triple2) -> rule2))] The cow is nice.[(((triple6) -> rule3))] The tiger is cold.[(((triple3) -> rule5))] @2: The tiger needs the cat.[(((((triple6) -> rule3) triple6) -> rule8))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple3
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple4
The cat visits the cow.
("cat" "visits" "cow" "+")
triple5
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple6
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple7
The tiger is green.
("tiger" "is" "green" "+")
triple8
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple9
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple10
The cat is green.
("cat" "is" "green" "+")
((triple1 triple2) -> (rule2 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
((triple6) -> (rule3 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
((triple3) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger needs the cat.
("tiger" "needs" "cat" "+")
((((triple6) -> (rule3 % int2)) triple6) -> (rule8 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2