The bald eagle chases the cat. The bald eagle does not need the cat. The cat does not chase the tiger. The cat sees the tiger. The tiger chases the bald eagle. The tiger chases the cat. The tiger is not rough. If something is nice and it needs the tiger then the tiger needs the bald eagle. If something chases the bald eagle and it is not big then the bald eagle chases the tiger. If something is cold then it does not see the tiger. If something is green then it chases the tiger. If something is cold then it sees the cat. If something is nice and it sees the tiger then the tiger chases the bald eagle. If something sees the tiger then the tiger needs the cat. If something is cold then it needs the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
The cat does not chase the tiger.
("cat" "chases" "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 is not rough.
("tiger" "is" "rough" "-")
If something is nice and it needs the tiger then the tiger needs the bald eagle.
((("something" "is" "nice" "+") ("something" "needs" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If something chases the bald eagle and it is not big then the bald eagle chases the tiger.
((("something" "chases" "bald eagle" "+") ("something" "is" "big" "~")) -> ("bald eagle" "chases" "tiger" "+"))
If something is cold then it does not see the tiger.
((("something" "is" "cold" "+")) -> ("something" "sees" "tiger" "-"))
If something is green then it chases the tiger.
((("something" "is" "green" "+")) -> ("something" "chases" "tiger" "+"))
If something is cold then it sees the cat.
((("something" "is" "cold" "+")) -> ("something" "sees" "cat" "+"))
If something is nice and it sees the tiger then the tiger chases the bald eagle.
((("something" "is" "nice" "+") ("something" "sees" "tiger" "+")) -> ("tiger" "chases" "bald eagle" "+"))
If something sees the tiger then the tiger needs the cat.
((("something" "sees" "tiger" "+")) -> ("tiger" "needs" "cat" "+"))
If something is cold then it needs the bald eagle.
((("something" "is" "cold" "+")) -> ("something" "needs" "bald eagle" "+"))
The bald eagle chases the cat.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cat" "+")
triple1
The tiger is rough.
False
1
inv-proof
[(triple7)]
("tiger" "is" "rough" "+")
triple7
The tiger needs the cat.
True
2
proof
[(((triple4) -> rule7))]
("tiger" "needs" "cat" "+")
((triple4) -> (rule7 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The tiger does not need the cat.
False
2
inv-proof
[(((triple4) -> rule7))]
("tiger" "needs" "cat" "-")
((triple4) -> (rule7 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The tiger does not need the bald eagle.
Unknown
inv-rconc
[@1: The tiger needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "needs" "bald eagle" "-")
The bald eagle chases the tiger.
Unknown
rconc
[@1: The bald eagle chases the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "tiger" "+")
The bald eagle does not see the tiger.
Unknown
inv-random
[@0: The bald eagle sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "tiger" "-")
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" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not need the cat.[(triple2)] The cat does not chase the tiger.[(triple3)] The cat sees the tiger.[(triple4)] The tiger chases the bald eagle.[(triple5)] The tiger chases the cat.[(triple6)] The tiger is not rough.[(triple7)] @1: The tiger needs the cat.[(((triple4) -> rule7))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
triple2
The cat does not chase the tiger.
("cat" "chases" "tiger" "-")
triple3
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple4
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple5
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple6
The tiger is not rough.
("tiger" "is" "rough" "-")
triple7
The tiger needs the cat.
("tiger" "needs" "cat" "+")
((triple4) -> (rule7 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1