The bald eagle chases the tiger. The bald eagle does not eat the tiger. The bald eagle is kind. The bald eagle is not red. The bald eagle is rough. The bald eagle is round. 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 kind. The tiger is red. The tiger is rough. The tiger is round. The tiger likes the bald eagle. If someone is round and they like the tiger then the tiger eats the bald eagle. If someone eats the bald eagle then they like the tiger. If someone eats the tiger and the tiger does not eat the bald eagle then the tiger does not chase the bald eagle. If someone chases the tiger then the tiger chases the bald eagle. If the bald eagle chases the tiger and the bald eagle does not like the tiger then the bald eagle is rough. If the tiger does not chase the bald eagle then the tiger is kind.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
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 kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
If someone is round and they like the tiger then the tiger eats the bald eagle.
((("someone" "is" "round" "+") ("someone" "likes" "tiger" "+")) -> ("tiger" "eats" "bald eagle" "+"))
If someone eats the bald eagle then they like the tiger.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "likes" "tiger" "+"))
If someone eats the tiger and the tiger does not eat the bald eagle then the tiger does not chase the bald eagle.
((("someone" "eats" "tiger" "+") ("tiger" "eats" "bald eagle" "~")) -> ("tiger" "chases" "bald eagle" "-"))
If someone chases the tiger then the tiger chases the bald eagle.
((("someone" "chases" "tiger" "+")) -> ("tiger" "chases" "bald eagle" "+"))
If the bald eagle chases the tiger and the bald eagle does not like the tiger then the bald eagle is rough.
((("bald eagle" "chases" "tiger" "+") ("bald eagle" "likes" "tiger" "~")) -> ("bald eagle" "is" "rough" "+"))
If the tiger does not chase the bald eagle then the tiger is kind.
((("tiger" "chases" "bald eagle" "~")) -> ("tiger" "is" "kind" "+"))
The tiger likes the bald eagle.
True
1
proof
[(triple15)]
("tiger" "likes" "bald eagle" "+")
triple15
The tiger does not chase the bald eagle.
False
1
inv-proof
[(triple8 OR ((triple1) -> rule4))]
("tiger" "chases" "bald eagle" "-")
triple8
((triple1) -> (rule4 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle does not eat the tiger.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is not red.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle likes the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8 OR ((triple1) -> rule4))] The tiger eats the bald eagle.[(triple9 OR ((triple6 triple7) -> rule1))] The tiger is blue.[(triple10)] The tiger is kind.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger is round.[(triple14)] The tiger likes the bald eagle.[(triple15)] @1: The tiger likes the tiger.[(((triple9) -> rule2) OR ((((triple6 triple7) -> rule1)) -> rule2))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple5
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple7
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple8
((triple1) -> (rule4 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple9
((triple6 triple7) -> (rule1 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger is red.
("tiger" "is" "red" "+")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple15
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple9) -> (rule2 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
((((triple6 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2