The bald eagle is cold. The bald eagle is round. The bald eagle likes the dog. The bald eagle needs the dog. The bald eagle sees the dog. The dog is green. The dog is nice. The dog likes the bald eagle. The dog needs the bald eagle. The dog needs the lion. The dog sees the lion. The lion is kind. The lion is round. The lion sees the bald eagle. The lion sees the dog. If the lion likes the bald eagle then the bald eagle needs the lion. If someone is cold then they see the lion. If someone is round and they see the lion then the lion likes the bald eagle.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is round.
("lion" "is" "round" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
If the lion likes the bald eagle then the bald eagle needs the lion.
((("lion" "likes" "bald eagle" "+")) -> ("bald eagle" "needs" "lion" "+"))
If someone is cold then they see the lion.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "lion" "+"))
If someone is round and they see the lion then the lion likes the bald eagle.
((("someone" "is" "round" "+") ("someone" "sees" "lion" "+")) -> ("lion" "likes" "bald eagle" "+"))
The bald eagle likes the dog.
True
1
proof
[(triple3)]
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle does not like the dog.
False
1
inv-proof
[(triple3)]
("bald eagle" "likes" "dog" "-")
triple3
The bald eagle sees the lion.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "sees" "lion" "+")
((triple1) -> (rule2 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The bald eagle does not see the lion.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "sees" "lion" "-")
((triple1) -> (rule2 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The lion likes the bald eagle.
True
4
proof
[(((triple2 ((triple1) -> rule2)) -> rule3))]
("lion" "likes" "bald eagle" "+")
((triple2 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The lion does not like the bald eagle.
False
4
inv-proof
[(((triple2 ((triple1) -> rule2)) -> rule3))]
("lion" "likes" "bald eagle" "-")
((triple2 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The lion does not see the lion.
Unknown
inv-rconc
[@1: The lion sees the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "sees" "lion" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The lion needs the dog.
Unknown
random
[@0: The lion needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "dog" "+")
The lion is not cold.
Unknown
inv-random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "-")
The lion likes the dog.
Unknown
random
[@0: The lion likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "dog" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle sees the dog.[(triple5)] The dog is green.[(triple6)] The dog is nice.[(triple7)] The dog likes the bald eagle.[(triple8)] The dog needs the bald eagle.[(triple9)] The dog needs the lion.[(triple10)] The dog sees the lion.[(triple11)] The lion is kind.[(triple12)] The lion is round.[(triple13)] The lion sees the bald eagle.[(triple14)] The lion sees the dog.[(triple15)] @1: The bald eagle sees the lion.[(((triple1) -> rule2))] @2: The lion likes the bald eagle.[(((triple2 ((triple1) -> rule2)) -> rule3))] @3: The bald eagle needs the lion.[(((((triple2 ((triple1) -> rule2)) -> rule3)) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple5
The dog is green.
("dog" "is" "green" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple8
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple9
The dog needs the lion.
("dog" "needs" "lion" "+")
triple10
The dog sees the lion.
("dog" "sees" "lion" "+")
triple11
The lion is kind.
("lion" "is" "kind" "+")
triple12
The lion is round.
("lion" "is" "round" "+")
triple13
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple14
The lion sees the dog.
("lion" "sees" "dog" "+")
triple15
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
((triple1) -> (rule2 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
((triple2 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
((((triple2 ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3