The bald eagle is big. The bald eagle is green. The bald eagle sees the tiger. The bald eagle visits the cat. The bear chases the tiger. The bear sees the cat. The cat chases the bald eagle. The cat is cold. The cat visits the bald eagle. The tiger is round. If someone chases the tiger then they are young. If someone chases the cat then the cat chases the bear. If someone visits the bald eagle then the bald eagle sees the cat.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The tiger is round.
("tiger" "is" "round" "+")
If someone chases the tiger then they are young.
((("someone" "chases" "tiger" "+")) -> ("someone" "is" "young" "+"))
If someone chases the cat then the cat chases the bear.
((("someone" "chases" "cat" "+")) -> ("cat" "chases" "bear" "+"))
If someone visits the bald eagle then the bald eagle sees the cat.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "sees" "cat" "+"))
The bald eagle is green.
True
1
proof
[(triple2)]
("bald eagle" "is" "green" "+")
triple2
The bald eagle does not visit the cat.
False
1
inv-proof
[(triple4)]
("bald eagle" "visits" "cat" "-")
triple4
The tiger is not young.
Unknown
inv-rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "young" "-")
The bear chases the cat.
Unknown
random
[@0: The bear chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cat" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bald eagle visits the cat.[(triple4)] The bear chases the tiger.[(triple5)] The bear sees the cat.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat is cold.[(triple8)] The cat visits the bald eagle.[(triple9)] The tiger is round.[(triple10)] @1: The bald eagle sees the cat.[(((triple9) -> rule3))] The bear is young.[(((triple5) -> rule1))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple4
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple5
The bear sees the cat.
("bear" "sees" "cat" "+")
triple6
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple7
The cat is cold.
("cat" "is" "cold" "+")
triple8
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple9
The tiger is round.
("tiger" "is" "round" "+")
triple10
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
((triple9) -> (rule3 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bear is young.
("bear" "is" "young" "+")
((triple5) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1