The bald eagle chases the squirrel. The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is young. The bald eagle visits the tiger. The squirrel visits the bald eagle. The tiger is not cold. If the tiger is not cold then the tiger is rough. If someone is rough then they do not chase the tiger.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
If the tiger is not cold then the tiger is rough.
((("tiger" "is" "cold" "~")) -> ("tiger" "is" "rough" "+"))
If someone is rough then they do not chase the tiger.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "tiger" "-"))
The bald eagle is young.
True
1
proof
[(triple4)]
("bald eagle" "is" "young" "+")
triple4
The bald eagle is not young.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "young" "-")
triple4
The tiger is rough.
True
2
proof
[(((triple7) -> rule1))]
("tiger" "is" "rough" "+")
((triple7) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is not rough.
False
2
inv-proof
[(((triple7) -> rule1))]
("tiger" "is" "rough" "-")
((triple7) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger does not chase the tiger.
True
3
proof
[(((((triple7) -> rule1)) -> rule2))]
("tiger" "chases" "tiger" "-")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger chases the tiger.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule2))]
("tiger" "chases" "tiger" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel eats the tiger.
Unknown
random
[@0: The squirrel eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "tiger" "+")
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
The tiger does not chase the squirrel.
Unknown
inv-random
[@0: The tiger chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "squirrel" "-")
The squirrel chases the bald eagle.
Unknown
random
[@0: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bald eagle" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle eats the tiger.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle visits the tiger.[(triple5)] The squirrel visits the bald eagle.[(triple6)] The tiger is not cold.[(triple7)] @1: The tiger is rough.[(((triple7) -> rule1))] @2: The tiger does not chase the tiger.[(((((triple7) -> rule1)) -> rule2))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple5
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple6
The tiger is not cold.
("tiger" "is" "cold" "-")
triple7
The tiger is rough.
("tiger" "is" "rough" "+")
((triple7) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2