The bald eagle chases the cat. The bald eagle does not chase the tiger. The bald eagle is round. The bald eagle is young. The bald eagle sees the cat. The bald eagle sees the tiger. The cat is kind. The cat needs the bald eagle. The cat needs the tiger. The cat sees the tiger. The tiger chases the bald eagle. The tiger chases the cat. The tiger needs the cat. The tiger sees the bald eagle. The tiger sees the cat. If something needs the bald eagle and it is not young then it sees the bald eagle. If something chases the bald eagle and it does not chase the tiger then the bald eagle sees the cat. If something sees the cat then the cat sees the tiger. If something chases the tiger then it needs the cat. If the cat needs the tiger and the cat does not chase the bald eagle then the cat is not round. If something sees the bald eagle then it is kind. All blue things are not kind. If the tiger needs the cat and the tiger is not young then the cat does not see the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If something needs the bald eagle and it is not young then it sees the bald eagle.
((("something" "needs" "bald eagle" "+") ("something" "is" "young" "~")) -> ("something" "sees" "bald eagle" "+"))
If something chases the bald eagle and it does not chase the tiger then the bald eagle sees the cat.
((("something" "chases" "bald eagle" "+") ("something" "chases" "tiger" "~")) -> ("bald eagle" "sees" "cat" "+"))
If something sees the cat then the cat sees the tiger.
((("something" "sees" "cat" "+")) -> ("cat" "sees" "tiger" "+"))
If something chases the tiger then it needs the cat.
((("something" "chases" "tiger" "+")) -> ("something" "needs" "cat" "+"))
If the cat needs the tiger and the cat does not chase the bald eagle then the cat is not round.
((("cat" "needs" "tiger" "+") ("cat" "chases" "bald eagle" "~")) -> ("cat" "is" "round" "-"))
If something sees the bald eagle then it is kind.
((("something" "sees" "bald eagle" "+")) -> ("something" "is" "kind" "+"))
All blue things are not kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "-"))
If the tiger needs the cat and the tiger is not young then the cat does not see the bald eagle.
((("tiger" "needs" "cat" "+") ("tiger" "is" "young" "~")) -> ("cat" "sees" "bald eagle" "-"))
The cat sees the tiger.
True
1
proof
[(triple10 OR ((triple15) -> rule3) OR ((triple5) -> rule3))]
("cat" "sees" "tiger" "+")
triple10
((triple15) -> (rule3 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
((triple5) -> (rule3 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The bald eagle does not see the cat.
False
1
inv-proof
[(triple5)]
("bald eagle" "sees" "cat" "-")
triple5
The tiger is kind.
True
2
proof
[(((triple14) -> rule6))]
("tiger" "is" "kind" "+")
((triple14) -> (rule6 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is not kind.
False
2
inv-proof
[(((triple14) -> rule6))]
("tiger" "is" "kind" "-")
((triple14) -> (rule6 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The cat does not see the bald eagle.
Unknown
inv-rconc
[@1: The cat sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "sees" "bald eagle" "-")
The cat needs the cat.
Unknown
rconc
[@1: The cat needs the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "needs" "cat" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not chase the tiger.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle sees the cat.[(triple5)] The bald eagle sees the tiger.[(triple6)] The cat is kind.[(triple7)] The cat needs the bald eagle.[(triple8)] The cat needs the tiger.[(triple9)] The cat sees the tiger.[(triple10 OR ((triple15) -> rule3) OR ((triple5) -> rule3))] The tiger chases the bald eagle.[(triple11)] The tiger chases the cat.[(triple12)] The tiger needs the cat.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger sees the cat.[(triple15)] @1: The tiger is kind.[(((triple14) -> rule6))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple5
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple6
The cat is kind.
("cat" "is" "kind" "+")
triple7
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple8
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple9
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple10
((triple15) -> (rule3 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
((triple5) -> (rule3 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple11
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple12
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple13
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple14
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple15
The tiger is kind.
("tiger" "is" "kind" "+")
((triple14) -> (rule6 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1