The bald eagle needs the lion. The dog is young. The lion eats the tiger. The tiger is round. If something sees the dog and the dog is round then it needs the dog. If something is red and it eats the bald eagle then the bald eagle is young. If something is round then it eats the tiger. If something sees the tiger then the tiger needs the dog. If something sees the lion and it is cold then it needs the tiger. If something is young and it eats the bald eagle then it needs the dog.
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The dog is young.
("dog" "is" "young" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The tiger is round.
("tiger" "is" "round" "+")
If something sees the dog and the dog is round then it needs the dog.
((("something" "sees" "dog" "+") ("dog" "is" "round" "+")) -> ("something" "needs" "dog" "+"))
If something is red and it eats the bald eagle then the bald eagle is young.
((("something" "is" "red" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If something is round then it eats the tiger.
((("something" "is" "round" "+")) -> ("something" "eats" "tiger" "+"))
If something sees the tiger then the tiger needs the dog.
((("something" "sees" "tiger" "+")) -> ("tiger" "needs" "dog" "+"))
If something sees the lion and it is cold then it needs the tiger.
((("something" "sees" "lion" "+") ("something" "is" "cold" "+")) -> ("something" "needs" "tiger" "+"))
If something is young and it eats the bald eagle then it needs the dog.
((("something" "is" "young" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "needs" "dog" "+"))
The dog is young.
True
1
proof
[(triple2)]
("dog" "is" "young" "+")
triple2
The dog is not young.
False
1
inv-proof
[(triple2)]
("dog" "is" "young" "-")
triple2
The tiger eats the tiger.
True
2
proof
[(((triple4) -> rule3))]
("tiger" "eats" "tiger" "+")
((triple4) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger does not eat the tiger.
False
2
inv-proof
[(((triple4) -> rule3))]
("tiger" "eats" "tiger" "-")
((triple4) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger does not need the tiger.
Unknown
inv-rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "needs" "tiger" "-")
The lion needs the dog.
Unknown
rconc
[@1: The lion needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "needs" "dog" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The bald eagle sees the tiger.
Unknown
random
[@0: The bald eagle sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "tiger" "+")
@0: The bald eagle needs the lion.[(triple1)] The dog is young.[(triple2)] The lion eats the tiger.[(triple3)] The tiger is round.[(triple4)] @1: The tiger eats the tiger.[(((triple4) -> rule3))]
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple1
The dog is young.
("dog" "is" "young" "+")
triple2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple3
The tiger is round.
("tiger" "is" "round" "+")
triple4
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple4) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1