The bald eagle does not chase the cat. The bald eagle is young. The bear is big. The bear sees the cat. The cat chases the bald eagle. The cat chases the bear. The cat is big. The cat is not blue. The cat is green. The cat is young. The cat needs the bear. The cat sees the bear. If someone sees the bald eagle then they chase the cat. If someone is young and they need the bear then they chase the cat. If someone chases the cat and the cat is not blue then they do not need the bald eagle.
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear is big.
("bear" "is" "big" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is not blue.
("cat" "is" "blue" "-")
The cat is green.
("cat" "is" "green" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
If someone sees the bald eagle then they chase the cat.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "chases" "cat" "+"))
If someone is young and they need the bear then they chase the cat.
((("someone" "is" "young" "+") ("someone" "needs" "bear" "+")) -> ("someone" "chases" "cat" "+"))
If someone chases the cat and the cat is not blue then they do not need the bald eagle.
((("someone" "chases" "cat" "+") ("cat" "is" "blue" "~")) -> ("someone" "needs" "bald eagle" "-"))
The cat is big.
True
1
proof
[(triple7)]
("cat" "is" "big" "+")
triple7
The cat does not need the bear.
False
1
inv-proof
[(triple11)]
("cat" "needs" "bear" "-")
triple11
The cat chases the cat.
True
3
proof
[(((triple10 triple11) -> rule2))]
("cat" "chases" "cat" "+")
((triple10 triple11) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not chase the cat.
False
3
inv-proof
[(((triple10 triple11) -> rule2))]
("cat" "chases" "cat" "-")
((triple10 triple11) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not need the bald eagle.
True
5
proof
[(((((triple10 triple11) -> rule2) triple8) -> rule3))]
("cat" "needs" "bald eagle" "-")
((((triple10 triple11) -> (rule2 % int2)) triple8) -> (rule3 % int1))
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat needs the bald eagle.
False
5
inv-proof
[(((((triple10 triple11) -> rule2) triple8) -> rule3))]
("cat" "needs" "bald eagle" "+")
((((triple10 triple11) -> (rule2 % int2)) triple8) -> (rule3 % int1))
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The bear does not chase the cat.
Unknown
inv-rconc
[@1: The bear chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "cat" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The bear does not need the bald eagle.
Unknown
inv-random
[@0: The bear needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bald eagle" "-")
The cat sees the bald eagle.
Unknown
random
[@0: The cat sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bald eagle" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bald eagle sees the cat.
Unknown
random
[@0: The bald eagle sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "cat" "+")
@0: The bald eagle does not chase the cat.[(triple1)] The bald eagle is young.[(triple2)] The bear is big.[(triple3)] The bear sees the cat.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat chases the bear.[(triple6)] The cat is big.[(triple7)] The cat is green.[(triple9)] The cat is not blue.[(triple8)] The cat is young.[(triple10)] The cat needs the bear.[(triple11)] The cat sees the bear.[(triple12)] @1: The cat chases the cat.[(((triple10 triple11) -> rule2))] @2: The cat does not need the bald eagle.[(((((triple10 triple11) -> rule2) triple8) -> rule3))]
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear sees the cat.
("bear" "sees" "cat" "+")
triple4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
The cat chases the bear.
("cat" "chases" "bear" "+")
triple6
The cat is big.
("cat" "is" "big" "+")
triple7
The cat is green.
("cat" "is" "green" "+")
triple9
The cat is not blue.
("cat" "is" "blue" "-")
triple8
The cat is young.
("cat" "is" "young" "+")
triple10
The cat needs the bear.
("cat" "needs" "bear" "+")
triple11
The cat sees the bear.
("cat" "sees" "bear" "+")
triple12
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple10 triple11) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
((((triple10 triple11) -> (rule2 % int2)) triple8) -> (rule3 % int1))
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2