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