The bald eagle is green. The bald eagle sees the tiger. The cat is kind. The cat needs the bald eagle. The cat needs the tiger. The tiger is blue. The tiger sees the bald eagle. If someone eats the tiger and they eat the bald eagle then the tiger is green. If someone eats the tiger and they are blue then the tiger is green. If someone sees the tiger then they see the bald eagle. If someone needs the bald eagle and they need the tiger then they eat the tiger. If someone eats the bald eagle then they need the tiger. If someone is round and they need the bald eagle then they are nice. If someone sees the tiger and the tiger eats the cat then the tiger is green. If someone eats the bald eagle and the bald eagle sees the cat then they see the bald eagle.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone eats the tiger and they eat the bald eagle then the tiger is green.
((("someone" "eats" "tiger" "+") ("someone" "eats" "bald eagle" "+")) -> ("tiger" "is" "green" "+"))
If someone eats the tiger and they are blue then the tiger is green.
((("someone" "eats" "tiger" "+") ("someone" "is" "blue" "+")) -> ("tiger" "is" "green" "+"))
If someone sees the tiger then they see the bald eagle.
((("someone" "sees" "tiger" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone needs the bald eagle and they need the tiger then they eat the tiger.
((("someone" "needs" "bald eagle" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "eats" "tiger" "+"))
If someone eats the bald eagle then they need the tiger.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "needs" "tiger" "+"))
If someone is round and they need the bald eagle then they are nice.
((("someone" "is" "round" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "nice" "+"))
If someone sees the tiger and the tiger eats the cat then the tiger is green.
((("someone" "sees" "tiger" "+") ("tiger" "eats" "cat" "+")) -> ("tiger" "is" "green" "+"))
If someone eats the bald eagle and the bald eagle sees the cat then they see the bald eagle.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "sees" "cat" "+")) -> ("someone" "sees" "bald eagle" "+"))
The bald eagle is green.
True
1
proof
[(triple1)]
("bald eagle" "is" "green" "+")
triple1
The bald eagle is not green.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "green" "-")
triple1
The cat eats the tiger.
True
3
proof
[(((triple4 triple5) -> rule4))]
("cat" "eats" "tiger" "+")
((triple4 triple5) -> (rule4 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cat does not eat the tiger.
False
3
inv-proof
[(((triple4 triple5) -> rule4))]
("cat" "eats" "tiger" "-")
((triple4 triple5) -> (rule4 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The tiger does not need the tiger.
Unknown
inv-rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger is nice.
Unknown
rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "is" "nice" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle sees the tiger.[(triple2)] The cat is kind.[(triple3)] The cat needs the bald eagle.[(triple4)] The cat needs the tiger.[(triple5)] The tiger is blue.[(triple6)] The tiger sees the bald eagle.[(triple7)] @1: The bald eagle sees the bald eagle.[(((triple2) -> rule3))] The cat eats the tiger.[(((triple4 triple5) -> rule4))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple4
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple5
The tiger is blue.
("tiger" "is" "blue" "+")
triple6
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple7
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple2) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
((triple4 triple5) -> (rule4 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1