The bald eagle chases the tiger. The bald eagle is red. The bald eagle is rough. The tiger chases the bald eagle. The tiger is nice. The tiger is rough. The tiger sees the bald eagle. If the tiger sees the bald eagle and the bald eagle chases the tiger then the tiger is red. If something chases the tiger and the tiger needs the bald eagle then it sees the tiger. If the tiger needs the bald eagle and the bald eagle sees the tiger then the tiger is round. If something sees the bald eagle then the bald eagle sees the tiger. If something is big and it needs the tiger then it sees the tiger. If something is nice then it chases the bald eagle. If the tiger sees the bald eagle and the tiger chases the bald eagle then the bald eagle needs the tiger. If something sees the tiger then it sees the bald eagle.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If the tiger sees the bald eagle and the bald eagle chases the tiger then the tiger is red.
((("tiger" "sees" "bald eagle" "+") ("bald eagle" "chases" "tiger" "+")) -> ("tiger" "is" "red" "+"))
If something chases the tiger and the tiger needs the bald eagle then it sees the tiger.
((("something" "chases" "tiger" "+") ("tiger" "needs" "bald eagle" "+")) -> ("something" "sees" "tiger" "+"))
If the tiger needs the bald eagle and the bald eagle sees the tiger then the tiger is round.
((("tiger" "needs" "bald eagle" "+") ("bald eagle" "sees" "tiger" "+")) -> ("tiger" "is" "round" "+"))
If something sees the bald eagle then the bald eagle sees the tiger.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If something is big and it needs the tiger then it sees the tiger.
((("something" "is" "big" "+") ("something" "needs" "tiger" "+")) -> ("something" "sees" "tiger" "+"))
If something is nice then it chases the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "chases" "bald eagle" "+"))
If the tiger sees the bald eagle and the tiger chases the bald eagle then the bald eagle needs the tiger.
((("tiger" "sees" "bald eagle" "+") ("tiger" "chases" "bald eagle" "+")) -> ("bald eagle" "needs" "tiger" "+"))
If something sees the tiger then it sees the bald eagle.
((("something" "sees" "tiger" "+")) -> ("something" "sees" "bald eagle" "+"))
The tiger is nice.
True
1
proof
[(triple5)]
("tiger" "is" "nice" "+")
triple5
The bald eagle is not rough.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "rough" "-")
triple3
The tiger is not round.
Unknown
inv-rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "round" "-")
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 tiger.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is rough.[(triple3)] The tiger chases the bald eagle.[(triple4 OR ((triple5) -> rule6))] The tiger is nice.[(triple5)] The tiger is rough.[(triple6)] The tiger sees the bald eagle.[(triple7)] @1: The bald eagle needs the tiger.[(((triple7 triple4) -> rule7) OR ((triple7 ((triple5) -> rule6)) -> rule7))] The bald eagle sees the tiger.[(((triple7) -> rule4))] The tiger is red.[(((triple7 triple1) -> rule1))] @2: The bald eagle sees the bald eagle.[(((((triple7) -> rule4)) -> rule8))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple4
((triple5) -> (rule6 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
triple5
The tiger is rough.
("tiger" "is" "rough" "+")
triple6
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple7
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
((triple7 triple4) -> (rule7 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
((triple7 ((triple5) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
((triple7) -> (rule4 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
((triple7 triple1) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((triple7) -> (rule4 % int2))) -> (rule8 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2