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