The bald eagle is not big. The bald eagle is not green. The bald eagle is kind. The bald eagle is round. The bald eagle likes the tiger. The bald eagle does not visit the tiger. The tiger is kind. If something likes the tiger and it visits the tiger then it does not like the bald eagle. If something likes the bald eagle then it sees the bald eagle. If the tiger visits the bald eagle and the bald eagle does not visit the tiger then the tiger likes the bald eagle. If something likes the bald eagle then it likes the tiger. If something likes the tiger then it is not cold. If the bald eagle likes the tiger and the bald eagle is not green then the tiger visits the bald eagle.
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
The tiger is kind.
("tiger" "is" "kind" "+")
If something likes the tiger and it visits the tiger then it does not like the bald eagle.
((("something" "likes" "tiger" "+") ("something" "visits" "tiger" "+")) -> ("something" "likes" "bald eagle" "-"))
If something likes the bald eagle then it sees the bald eagle.
((("something" "likes" "bald eagle" "+")) -> ("something" "sees" "bald eagle" "+"))
If the tiger visits the bald eagle and the bald eagle does not visit the tiger then the tiger likes the bald eagle.
((("tiger" "visits" "bald eagle" "+") ("bald eagle" "visits" "tiger" "~")) -> ("tiger" "likes" "bald eagle" "+"))
If something likes the bald eagle then it likes the tiger.
((("something" "likes" "bald eagle" "+")) -> ("something" "likes" "tiger" "+"))
If something likes the tiger then it is not cold.
((("something" "likes" "tiger" "+")) -> ("something" "is" "cold" "-"))
If the bald eagle likes the tiger and the bald eagle is not green then the tiger visits the bald eagle.
((("bald eagle" "likes" "tiger" "+") ("bald eagle" "is" "green" "~")) -> ("tiger" "visits" "bald eagle" "+"))
The tiger is kind.
True
1
proof
[(triple7)]
("tiger" "is" "kind" "+")
triple7
The bald eagle is big.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "big" "+")
triple1
The tiger visits the bald eagle.
True
3
proof
[(((triple5 triple2) -> rule6))]
("tiger" "visits" "bald eagle" "+")
((triple5 triple2) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger does not visit the bald eagle.
False
3
inv-proof
[(((triple5 triple2) -> rule6))]
("tiger" "visits" "bald eagle" "-")
((triple5 triple2) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger likes the bald eagle.
True
5
proof
[(((((triple5 triple2) -> rule6) triple6) -> rule3))]
("tiger" "likes" "bald eagle" "+")
((((triple5 triple2) -> (rule6 % int2)) triple6) -> (rule3 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger does not like the bald eagle.
False
5
inv-proof
[(((((triple5 triple2) -> rule6) triple6) -> rule3))]
("tiger" "likes" "bald eagle" "-")
((((triple5 triple2) -> (rule6 % int2)) triple6) -> (rule3 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger likes the tiger.
True
6
proof
[(((((((triple5 triple2) -> rule6) triple6) -> rule3)) -> rule4))]
("tiger" "likes" "tiger" "+")
((((((triple5 triple2) -> (rule6 % int3)) triple6) -> (rule3 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger does not see the bald eagle.
False
6
inv-proof
[(((((((triple5 triple2) -> rule6) triple6) -> rule3)) -> rule2))]
("tiger" "sees" "bald eagle" "-")
((((((triple5 triple2) -> (rule6 % int3)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The tiger is not green.
Unknown
inv-random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
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 tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle does not visit the tiger.[(triple6)] The bald eagle is kind.[(triple3)] The bald eagle is not big.[(triple1)] The bald eagle is not green.[(triple2)] The bald eagle is round.[(triple4)] The bald eagle likes the tiger.[(triple5)] The tiger is kind.[(triple7)] @1: The bald eagle is not cold.[(((triple5) -> rule5))] The tiger visits the bald eagle.[(((triple5 triple2) -> rule6))] @2: The tiger likes the bald eagle.[(((((triple5 triple2) -> rule6) triple6) -> rule3))] @3: The tiger likes the tiger.[(((((((triple5 triple2) -> rule6) triple6) -> rule3)) -> rule4))] The tiger sees the bald eagle.[(((((((triple5 triple2) -> rule6) triple6) -> rule3)) -> rule2))] @4: The tiger is not cold.[(((((((((triple5 triple2) -> rule6) triple6) -> rule3)) -> rule4)) -> rule5))]
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
triple6
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple1
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple5
The tiger is kind.
("tiger" "is" "kind" "+")
triple7
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
((triple5) -> (rule5 % int1))
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
((triple5 triple2) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
((((triple5 triple2) -> (rule6 % int2)) triple6) -> (rule3 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((((((triple5 triple2) -> (rule6 % int3)) triple6) -> (rule3 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
((((((triple5 triple2) -> (rule6 % int3)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is not cold.
("tiger" "is" "cold" "-")
((((((((triple5 triple2) -> (rule6 % int4)) triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger is not cold.
("tiger" "is" "cold" "-")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4