The bald eagle chases the tiger. The bald eagle is young. The bald eagle sees the tiger. The cat is not young. The tiger does not chase the cat. The tiger is young. The tiger visits the bald eagle. If something chases the bald eagle then it is not red. If something chases the tiger then it sees the cat. If something is young then it visits the bald eagle. If something visits the cat and the cat chases the tiger then the tiger is kind. If something sees the tiger then it does not visit the cat. If the bald eagle is red then the bald eagle does not chase the tiger.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The cat is not young.
("cat" "is" "young" "-")
The tiger does not chase the cat.
("tiger" "chases" "cat" "-")
The tiger is young.
("tiger" "is" "young" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If something chases the bald eagle then it is not red.
((("something" "chases" "bald eagle" "+")) -> ("something" "is" "red" "-"))
If something chases the tiger then it sees the cat.
((("something" "chases" "tiger" "+")) -> ("something" "sees" "cat" "+"))
If something is young then it visits the bald eagle.
((("something" "is" "young" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the cat and the cat chases the tiger then the tiger is kind.
((("something" "visits" "cat" "+") ("cat" "chases" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
If something sees the tiger then it does not visit the cat.
((("something" "sees" "tiger" "+")) -> ("something" "visits" "cat" "-"))
If the bald eagle is red then the bald eagle does not chase the tiger.
((("bald eagle" "is" "red" "+")) -> ("bald eagle" "chases" "tiger" "-"))
The cat is not young.
True
1
proof
[(triple4)]
("cat" "is" "young" "-")
triple4
The tiger is not young.
False
1
inv-proof
[(triple6)]
("tiger" "is" "young" "-")
triple6
The bald eagle sees the cat.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "sees" "cat" "+")
((triple1) -> (rule2 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle does not see the cat.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "sees" "cat" "-")
((triple1) -> (rule2 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The cat does not visit the bald eagle.
Unknown
inv-rconc
[@1: The cat visits the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "visits" "bald eagle" "-")
The cat sees the cat.
Unknown
rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "sees" "cat" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the tiger.[(triple3)] The cat is not young.[(triple4)] The tiger does not chase the cat.[(triple5)] The tiger is young.[(triple6)] The tiger visits the bald eagle.[(triple7 OR ((triple6) -> rule3))] @1: The bald eagle does not visit the cat.[(((triple3) -> rule5))] The bald eagle sees the cat.[(((triple1) -> rule2))] The bald eagle visits the bald eagle.[(((triple2) -> rule3))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple3
The cat is not young.
("cat" "is" "young" "-")
triple4
The tiger does not chase the cat.
("tiger" "chases" "cat" "-")
triple5
The tiger is young.
("tiger" "is" "young" "+")
triple6
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple7
((triple6) -> (rule3 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
((triple3) -> (rule5 % int1))
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
int1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
((triple1) -> (rule2 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple2) -> (rule3 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1