The bald eagle is kind. The bald eagle sees the tiger. The cow is young. The cow likes the tiger. The squirrel needs the cow. The squirrel sees the bald eagle. The tiger likes the bald eagle. Cold things are green. If something is rough and it needs the bald eagle then the bald eagle sees the tiger. If the tiger needs the cow then the cow is cold. If something is green then it needs the tiger. If something needs the cow and it likes the squirrel then it sees the squirrel. If something likes the bald eagle then the bald eagle is cold.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
Cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something is rough and it needs the bald eagle then the bald eagle sees the tiger.
((("something" "is" "rough" "+") ("something" "needs" "bald eagle" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If the tiger needs the cow then the cow is cold.
((("tiger" "needs" "cow" "+")) -> ("cow" "is" "cold" "+"))
If something is green then it needs the tiger.
((("something" "is" "green" "+")) -> ("something" "needs" "tiger" "+"))
If something needs the cow and it likes the squirrel then it sees the squirrel.
((("something" "needs" "cow" "+") ("something" "likes" "squirrel" "+")) -> ("something" "sees" "squirrel" "+"))
If something likes the bald eagle then the bald eagle is cold.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
The cow is young.
True
1
proof
[(triple3)]
("cow" "is" "young" "+")
triple3
The tiger does not like the bald eagle.
False
1
inv-proof
[(triple7)]
("tiger" "likes" "bald eagle" "-")
triple7
The bald eagle is cold.
True
2
proof
[(((triple7) -> rule6))]
("bald eagle" "is" "cold" "+")
((triple7) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is not cold.
False
2
inv-proof
[(((triple7) -> rule6))]
("bald eagle" "is" "cold" "-")
((triple7) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is green.
True
3
proof
[(((((triple7) -> rule6)) -> rule1))]
("bald eagle" "is" "green" "+")
((((triple7) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle is not green.
False
3
inv-proof
[(((((triple7) -> rule6)) -> rule1))]
("bald eagle" "is" "green" "-")
((((triple7) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle needs the tiger.
True
4
proof
[(((((((triple7) -> rule6)) -> rule1)) -> rule4))]
("bald eagle" "needs" "tiger" "+")
((((((triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle does not need the tiger.
False
4
inv-proof
[(((((((triple7) -> rule6)) -> rule1)) -> rule4))]
("bald eagle" "needs" "tiger" "-")
((((((triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle does not see the squirrel.
Unknown
inv-rconc
[@1: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "squirrel" "-")
The cow sees the squirrel.
Unknown
rconc
[@1: The cow sees the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "sees" "squirrel" "+")
The squirrel does not see the squirrel.
Unknown
inv-rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel needs the tiger.
Unknown
rconc
[@2: The squirrel needs the tiger.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("squirrel" "needs" "tiger" "+")
The bald eagle does not need the cow.
Unknown
inv-random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
The bald eagle does not like the tiger.
Unknown
inv-random
[@0: The bald eagle likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "tiger" "-")
The squirrel sees the cow.
Unknown
random
[@0: The squirrel sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "cow" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle sees the tiger.[(triple2)] The cow is young.[(triple3)] The cow likes the tiger.[(triple4)] The squirrel needs the cow.[(triple5)] The squirrel sees the bald eagle.[(triple6)] The tiger likes the bald eagle.[(triple7)] @1: The bald eagle is cold.[(((triple7) -> rule6))] @2: The bald eagle is green.[(((((triple7) -> rule6)) -> rule1))] @3: The bald eagle needs the tiger.[(((((((triple7) -> rule6)) -> rule1)) -> rule4))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple4
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple5
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple6
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple7
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple7) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
((((triple7) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
((((((triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3