The bald eagle is green. The bald eagle is nice. The bald eagle is round. The bald eagle needs the lion. The dog eats the bald eagle. The dog is nice. The dog needs the bald eagle. The dog visits the bald eagle. The lion is nice. The lion is round. The lion visits the bald eagle. The lion visits the dog. If someone visits the bald eagle and the bald eagle visits the dog then the bald eagle eats the lion. If someone is green then they visit the lion.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If someone visits the bald eagle and the bald eagle visits the dog then the bald eagle eats the lion.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "visits" "dog" "+")) -> ("bald eagle" "eats" "lion" "+"))
If someone is green then they visit the lion.
((("someone" "is" "green" "+")) -> ("someone" "visits" "lion" "+"))
The dog eats the bald eagle.
True
1
proof
[(triple5)]
("dog" "eats" "bald eagle" "+")
triple5
The bald eagle is not nice.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "nice" "-")
triple2
The bald eagle visits the lion.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "visits" "lion" "+")
((triple1) -> (rule2 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle does not visit the lion.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "visits" "lion" "-")
((triple1) -> (rule2 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The dog does not visit the lion.
Unknown
inv-rconc
[@1: The dog visits the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "visits" "lion" "-")
The bald eagle eats the lion.
Unknown
rconc
[@1: The bald eagle eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "lion" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle needs the lion.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog is nice.[(triple6)] The dog needs the bald eagle.[(triple7)] The dog visits the bald eagle.[(triple8)] The lion is nice.[(triple9)] The lion is round.[(triple10)] The lion visits the bald eagle.[(triple11)] The lion visits the dog.[(triple12)] @1: The bald eagle visits the lion.[(((triple1) -> rule2))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple5
The dog is nice.
("dog" "is" "nice" "+")
triple6
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple7
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple8
The lion is nice.
("lion" "is" "nice" "+")
triple9
The lion is round.
("lion" "is" "round" "+")
triple10
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple11
The lion visits the dog.
("lion" "visits" "dog" "+")
triple12
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
((triple1) -> (rule2 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1