The bald eagle chases the tiger. The bald eagle is kind. The bald eagle is young. The bald eagle needs the tiger. The bald eagle sees the tiger. The tiger chases the bald eagle. The tiger is big. The tiger is not nice. The tiger is red. The tiger is young. The tiger needs the bald eagle. The tiger sees the bald eagle. If something chases the bald eagle then it does not need the tiger. If something needs the tiger then it is red. If the tiger chases the bald eagle and the tiger is not kind then the bald eagle is nice. If something is red then it sees the bald eagle. If something sees the tiger and it chases the tiger then the tiger needs the bald eagle. If the bald eagle sees the tiger and the bald eagle does not need the tiger then the bald eagle chases the tiger.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is not nice.
("tiger" "is" "nice" "-")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If something chases the bald eagle then it does not need the tiger.
((("something" "chases" "bald eagle" "+")) -> ("something" "needs" "tiger" "-"))
If something needs the tiger then it is red.
((("something" "needs" "tiger" "+")) -> ("something" "is" "red" "+"))
If the tiger chases the bald eagle and the tiger is not kind then the bald eagle is nice.
((("tiger" "chases" "bald eagle" "+") ("tiger" "is" "kind" "~")) -> ("bald eagle" "is" "nice" "+"))
If something is red then it sees the bald eagle.
((("something" "is" "red" "+")) -> ("something" "sees" "bald eagle" "+"))
If something sees the tiger and it chases the tiger then the tiger needs the bald eagle.
((("something" "sees" "tiger" "+") ("something" "chases" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If the bald eagle sees the tiger and the bald eagle does not need the tiger then the bald eagle chases the tiger.
((("bald eagle" "sees" "tiger" "+") ("bald eagle" "needs" "tiger" "~")) -> ("bald eagle" "chases" "tiger" "+"))
The tiger is big.
True
1
proof
[(triple7)]
("tiger" "is" "big" "+")
triple7
The bald eagle does not see the tiger.
False
1
inv-proof
[(triple5)]
("bald eagle" "sees" "tiger" "-")
triple5
The tiger does not need the tiger.
True
2
proof
[(((triple6) -> rule1))]
("tiger" "needs" "tiger" "-")
((triple6) -> (rule1 % int1))
The tiger does not need the tiger.
("tiger" "needs" "tiger" "-")
int1
The tiger needs the tiger.
False
2
inv-proof
[(((triple6) -> rule1))]
("tiger" "needs" "tiger" "+")
((triple6) -> (rule1 % int1))
The tiger does not need the tiger.
("tiger" "needs" "tiger" "-")
int1
The bald eagle sees the bald eagle.
True
3
proof
[(((((triple4) -> rule2)) -> rule4))]
("bald eagle" "sees" "bald eagle" "+")
((((triple4) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle does not see the bald eagle.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule4))]
("bald eagle" "sees" "bald eagle" "-")
((((triple4) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The tiger is not kind.
Unknown
inv-random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the tiger.[(triple4)] The bald eagle sees the tiger.[(triple5)] The tiger chases the bald eagle.[(triple6)] The tiger is big.[(triple7)] The tiger is not nice.[(triple8)] The tiger is red.[(triple9)] The tiger is young.[(triple10)] The tiger needs the bald eagle.[(triple11 OR ((triple5 triple1) -> rule5))] The tiger sees the bald eagle.[(triple12 OR ((triple9) -> rule4))] @1: The bald eagle is red.[(((triple4) -> rule2))] The tiger does not need the tiger.[(((triple6) -> rule1))] @2: The bald eagle sees the bald eagle.[(((((triple4) -> rule2)) -> rule4))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple4
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple5
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple6
The tiger is big.
("tiger" "is" "big" "+")
triple7
The tiger is not nice.
("tiger" "is" "nice" "-")
triple8
The tiger is red.
("tiger" "is" "red" "+")
triple9
The tiger is young.
("tiger" "is" "young" "+")
triple10
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple11
((triple5 triple1) -> (rule5 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple12
((triple9) -> (rule4 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple4) -> (rule2 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The tiger does not need the tiger.
("tiger" "needs" "tiger" "-")
((triple6) -> (rule1 % int1))
The tiger does not need the tiger.
("tiger" "needs" "tiger" "-")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((triple4) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2