The bald eagle is blue. The bald eagle is kind. The bald eagle sees the tiger. The squirrel is blue. The squirrel sees the tiger. The tiger is rough. The tiger is round. If someone visits the squirrel and the squirrel sees the tiger then they chase the bald eagle. If someone chases the bald eagle and the bald eagle chases the tiger then the bald eagle visits the squirrel. If someone is round then they visit the squirrel. If someone is young then they visit the tiger. If the bald eagle is blue and the bald eagle chases the squirrel then the squirrel is kind. If someone is kind then they chase the tiger.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
If someone visits the squirrel and the squirrel sees the tiger then they chase the bald eagle.
((("someone" "visits" "squirrel" "+") ("squirrel" "sees" "tiger" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the bald eagle and the bald eagle chases the tiger then the bald eagle visits the squirrel.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "chases" "tiger" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
If someone is round then they visit the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone is young then they visit the tiger.
((("someone" "is" "young" "+")) -> ("someone" "visits" "tiger" "+"))
If the bald eagle is blue and the bald eagle chases the squirrel then the squirrel is kind.
((("bald eagle" "is" "blue" "+") ("bald eagle" "chases" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If someone is kind then they chase the tiger.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "tiger" "+"))
The bald eagle is kind.
True
1
proof
[(triple2)]
("bald eagle" "is" "kind" "+")
triple2
The tiger is not rough.
False
1
inv-proof
[(triple6)]
("tiger" "is" "rough" "-")
triple6
The bald eagle chases the tiger.
True
2
proof
[(((triple2) -> rule6))]
("bald eagle" "chases" "tiger" "+")
((triple2) -> (rule6 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The tiger does not visit the squirrel.
False
2
inv-proof
[(((triple7) -> rule3))]
("tiger" "visits" "squirrel" "-")
((triple7) -> (rule3 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The tiger chases the bald eagle.
True
4
proof
[(((((triple7) -> rule3) triple5) -> rule1))]
("tiger" "chases" "bald eagle" "+")
((((triple7) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int2
The tiger does not chase the bald eagle.
False
4
inv-proof
[(((((triple7) -> rule3) triple5) -> rule1))]
("tiger" "chases" "bald eagle" "-")
((((triple7) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int2
The bald eagle visits the squirrel.
True
7
proof
[(((((((triple7) -> rule3) triple5) -> rule1) ((triple2) -> rule6)) -> rule2))]
("bald eagle" "visits" "squirrel" "+")
((((((triple7) -> (rule3 % int4)) triple5) -> (rule1 % int3)) ((triple2) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int3
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int4
The bald eagle does not visit the squirrel.
False
7
inv-proof
[(((((((triple7) -> rule3) triple5) -> rule1) ((triple2) -> rule6)) -> rule2))]
("bald eagle" "visits" "squirrel" "-")
((((((triple7) -> (rule3 % int4)) triple5) -> (rule1 % int3)) ((triple2) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int3
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int4
The squirrel does not chase the tiger.
Unknown
inv-rconc
[@2: The squirrel chases the tiger.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("squirrel" "chases" "tiger" "-")
The tiger visits the tiger.
Unknown
rconc
[@1: The tiger visits the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "visits" "tiger" "+")
The squirrel does not visit the tiger.
Unknown
inv-rconc
[@1: The squirrel visits the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "visits" "tiger" "-")
The squirrel chases the bald eagle.
Unknown
rconc
[@2: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("squirrel" "chases" "bald eagle" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle sees the squirrel.
Unknown
random
[@0: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "squirrel" "+")
The tiger does not visit the bald eagle.
Unknown
inv-random
[@0: The tiger visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle sees the tiger.[(triple3)] The squirrel is blue.[(triple4)] The squirrel sees the tiger.[(triple5)] The tiger is rough.[(triple6)] The tiger is round.[(triple7)] @1: The bald eagle chases the tiger.[(((triple2) -> rule6))] The tiger visits the squirrel.[(((triple7) -> rule3))] @2: The tiger chases the bald eagle.[(((((triple7) -> rule3) triple5) -> rule1))] @3: The bald eagle visits the squirrel.[(((((((triple7) -> rule3) triple5) -> rule1) ((triple2) -> rule6)) -> rule2))] @4: The bald eagle chases the bald eagle.[(((((((((triple7) -> rule3) triple5) -> rule1) ((triple2) -> rule6)) -> rule2) triple5) -> rule1))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple3
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple4
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple5
The tiger is rough.
("tiger" "is" "rough" "+")
triple6
The tiger is round.
("tiger" "is" "round" "+")
triple7
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
((triple2) -> (rule6 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
((triple7) -> (rule3 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
((((triple7) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int2
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((((((triple7) -> (rule3 % int4)) triple5) -> (rule1 % int3)) ((triple2) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int3
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int4
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((((((triple7) -> (rule3 % int5)) triple5) -> (rule1 % int4)) ((triple2) -> (rule6 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int3
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int4
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int5