The bald eagle eats the dog. The bald eagle eats the lion. The bald eagle is big. The bald eagle is young. The bald eagle sees the lion. The cat eats the dog. The cat sees the bald eagle. The dog eats the bald eagle. The dog eats the cat. The dog eats the lion. The dog is kind. The dog is round. The dog sees the cat. The dog sees the lion. The lion eats the bald eagle. The lion eats the cat. If something is big then it sees the dog. If something sees the dog then the dog needs the bald eagle.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
If something is big then it sees the dog.
((("something" "is" "big" "+")) -> ("something" "sees" "dog" "+"))
If something sees the dog then the dog needs the bald eagle.
((("something" "sees" "dog" "+")) -> ("dog" "needs" "bald eagle" "+"))
The bald eagle eats the lion.
True
1
proof
[(triple2)]
("bald eagle" "eats" "lion" "+")
triple2
The dog does not eat the bald eagle.
False
1
inv-proof
[(triple8)]
("dog" "eats" "bald eagle" "-")
triple8
The bald eagle sees the dog.
True
2
proof
[(((triple3) -> rule1))]
("bald eagle" "sees" "dog" "+")
((triple3) -> (rule1 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The bald eagle does not see the dog.
False
2
inv-proof
[(((triple3) -> rule1))]
("bald eagle" "sees" "dog" "-")
((triple3) -> (rule1 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The dog needs the bald eagle.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("dog" "needs" "bald eagle" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2
The dog does not need the bald eagle.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2))]
("dog" "needs" "bald eagle" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2
The cat does not see the dog.
Unknown
inv-rconc
[@1: The cat sees the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "sees" "dog" "-")
The dog sees the dog.
Unknown
rconc
[@1: The dog sees the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "sees" "dog" "+")
The lion does not see the dog.
Unknown
inv-rconc
[@1: The lion sees the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "sees" "dog" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
The lion is not big.
Unknown
inv-random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle sees the lion.[(triple5)] The cat eats the dog.[(triple6)] The cat sees the bald eagle.[(triple7)] The dog eats the bald eagle.[(triple8)] The dog eats the cat.[(triple9)] The dog eats the lion.[(triple10)] The dog is kind.[(triple11)] The dog is round.[(triple12)] The dog sees the cat.[(triple13)] The dog sees the lion.[(triple14)] The lion eats the bald eagle.[(triple15)] The lion eats the cat.[(triple16)] @1: The bald eagle sees the dog.[(((triple3) -> rule1))] @2: The dog needs the bald eagle.[(((((triple3) -> rule1)) -> rule2))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple5
The cat eats the dog.
("cat" "eats" "dog" "+")
triple6
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple7
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple8
The dog eats the cat.
("dog" "eats" "cat" "+")
triple9
The dog eats the lion.
("dog" "eats" "lion" "+")
triple10
The dog is kind.
("dog" "is" "kind" "+")
triple11
The dog is round.
("dog" "is" "round" "+")
triple12
The dog sees the cat.
("dog" "sees" "cat" "+")
triple13
The dog sees the lion.
("dog" "sees" "lion" "+")
triple14
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple15
The lion eats the cat.
("lion" "eats" "cat" "+")
triple16
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
((triple3) -> (rule1 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2