The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the tiger. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger is blue. The tiger is green. The tiger is kind. The tiger is nice. The tiger is rough. The tiger likes the bald eagle. If the bald eagle chases the tiger then the tiger is blue. If someone is green then they are nice. Kind people are nice. If someone eats the bald eagle then the bald eagle likes the tiger. If someone chases the tiger then the tiger is rough. If the tiger is blue and the tiger eats the bald eagle then the tiger is kind.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
If the bald eagle chases the tiger then the tiger is blue.
((("bald eagle" "chases" "tiger" "+")) -> ("tiger" "is" "blue" "+"))
If someone is green then they are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the bald eagle then the bald eagle likes the tiger.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "tiger" "+"))
If someone chases the tiger then the tiger is rough.
((("someone" "chases" "tiger" "+")) -> ("tiger" "is" "rough" "+"))
If the tiger is blue and the tiger eats the bald eagle then the tiger is kind.
((("tiger" "is" "blue" "+") ("tiger" "eats" "bald eagle" "+")) -> ("tiger" "is" "kind" "+"))
The tiger is blue.
True
1
proof
[(triple11 OR ((triple1) -> rule1))]
("tiger" "is" "blue" "+")
triple11
((triple1) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is not blue.
False
1
inv-proof
[(triple11 OR ((triple1) -> rule1))]
("tiger" "is" "blue" "-")
triple11
((triple1) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is kind.[(triple5)] The bald eagle is nice.[(triple6 OR ((triple4) -> rule2) OR ((triple5) -> rule3))] The bald eagle is rough.[(triple7)] The bald eagle likes the tiger.[(triple8 OR ((triple10) -> rule4))] The tiger chases the bald eagle.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger is blue.[(triple11 OR ((triple1) -> rule1))] The tiger is green.[(triple12)] The tiger is kind.[(triple13 OR ((triple11 triple10) -> rule6) OR ((((triple1) -> rule1) triple10) -> rule6))] The tiger is nice.[(triple14 OR ((triple12) -> rule2) OR ((triple13) -> rule3) OR ((((triple11 triple10) -> rule6)) -> rule3) OR ((((((triple1) -> rule1) triple10) -> rule6)) -> rule3))] The tiger is rough.[(triple15 OR ((triple1) -> rule5))] The tiger likes the bald eagle.[(triple16)]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple6
((triple4) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
((triple5) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple7
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple8
((triple10) -> (rule4 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple9
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
((triple1) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
triple12
The tiger is kind.
("tiger" "is" "kind" "+")
triple13
((triple11 triple10) -> (rule6 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
((((triple1) -> (rule1 % int2)) triple10) -> (rule6 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
((triple12) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
((triple13) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
((((triple11 triple10) -> (rule6 % int2))) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
((((((triple1) -> (rule1 % int3)) triple10) -> (rule6 % int2))) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
The tiger is rough.
("tiger" "is" "rough" "+")
triple15
((triple1) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple16