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