The bald eagle is not blue. The bald eagle is young. The bald eagle needs the cat. The bald eagle sees the cat. The bald eagle visits the cat. The cat is kind. The cat is not nice. The cat is not round. The cat needs the bald eagle. The cat visits the bald eagle. If someone sees the cat then they visit the cat. If someone visits the bald eagle and they do not see the bald eagle then the bald eagle is kind. If someone is blue and they need the bald eagle then the bald eagle visits the cat. If someone visits the cat then they visit the bald eagle. If the cat is young and the cat needs the bald eagle then the cat visits the bald eagle. If someone visits the bald eagle and the bald eagle is nice then they see the cat. If the bald eagle is nice and the cat does not need the bald eagle then the bald eagle sees the cat. If someone needs the bald eagle then the bald eagle is nice.
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is not nice.
("cat" "is" "nice" "-")
The cat is not round.
("cat" "is" "round" "-")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
If someone sees the cat then they visit the cat.
((("someone" "sees" "cat" "+")) -> ("someone" "visits" "cat" "+"))
If someone visits the bald eagle and they do not see the bald eagle then the bald eagle is kind.
((("someone" "visits" "bald eagle" "+") ("someone" "sees" "bald eagle" "~")) -> ("bald eagle" "is" "kind" "+"))
If someone is blue and they need the bald eagle then the bald eagle visits the cat.
((("someone" "is" "blue" "+") ("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "visits" "cat" "+"))
If someone visits the cat then they visit the bald eagle.
((("someone" "visits" "cat" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the cat is young and the cat needs the bald eagle then the cat visits the bald eagle.
((("cat" "is" "young" "+") ("cat" "needs" "bald eagle" "+")) -> ("cat" "visits" "bald eagle" "+"))
If someone visits the bald eagle and the bald eagle is nice then they see the cat.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "is" "nice" "+")) -> ("someone" "sees" "cat" "+"))
If the bald eagle is nice and the cat does not need the bald eagle then the bald eagle sees the cat.
((("bald eagle" "is" "nice" "+") ("cat" "needs" "bald eagle" "~")) -> ("bald eagle" "sees" "cat" "+"))
If someone needs the bald eagle then the bald eagle is nice.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
The cat is kind.
True
1
proof
[(triple6)]
("cat" "is" "kind" "+")
triple6
The cat does not need the bald eagle.
False
1
inv-proof
[(triple9)]
("cat" "needs" "bald eagle" "-")
triple9
The bald eagle is nice.
True
2
proof
[(((triple9) -> rule8))]
("bald eagle" "is" "nice" "+")
((triple9) -> (rule8 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle does not visit the bald eagle.
False
2
inv-proof
[(((triple5) -> rule4) OR ((((triple4) -> rule1)) -> rule4))]
("bald eagle" "visits" "bald eagle" "-")
((triple5) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
The cat sees the cat.
True
4
proof
[(((triple10 ((triple9) -> rule8)) -> rule6))]
("cat" "sees" "cat" "+")
((triple10 ((triple9) -> (rule8 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The cat does not see the cat.
False
4
inv-proof
[(((triple10 ((triple9) -> rule8)) -> rule6))]
("cat" "sees" "cat" "-")
((triple10 ((triple9) -> (rule8 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The cat visits the cat.
True
5
proof
[(((((triple10 ((triple9) -> rule8)) -> rule6)) -> rule1))]
("cat" "visits" "cat" "+")
((((triple10 ((triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The cat does not visit the cat.
False
5
inv-proof
[(((((triple10 ((triple9) -> rule8)) -> rule6)) -> rule1))]
("cat" "visits" "cat" "-")
((((triple10 ((triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
The cat does not see the bald eagle.
Unknown
inv-random
[@0: The cat sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bald eagle" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "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" "+")
The cat is not young.
Unknown
inv-random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle is not blue.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle sees the cat.[(triple4 OR ((((triple5) -> rule4) ((triple9) -> rule8)) -> rule6))] The bald eagle visits the cat.[(triple5 OR ((triple4) -> rule1))] The cat is kind.[(triple6)] The cat is not nice.[(triple7)] The cat is not round.[(triple8)] The cat needs the bald eagle.[(triple9)] The cat visits the bald eagle.[(triple10)] @1: The bald eagle is nice.[(((triple9) -> rule8))] The bald eagle visits the bald eagle.[(((triple5) -> rule4) OR ((((triple4) -> rule1)) -> rule4))] @2: The cat sees the cat.[(((triple10 ((triple9) -> rule8)) -> rule6))] @3: The cat visits the cat.[(((((triple10 ((triple9) -> rule8)) -> rule6)) -> rule1))]
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple3
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple4
((((triple5) -> (rule4 % int3)) ((triple9) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple5
((triple4) -> (rule1 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
triple6
The cat is not nice.
("cat" "is" "nice" "-")
triple7
The cat is not round.
("cat" "is" "round" "-")
triple8
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple9
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple10
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple9) -> (rule8 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple5) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple10 ((triple9) -> (rule8 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
((((triple10 ((triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3