The bald eagle is cold. The bald eagle is green. The bald eagle is kind. The bald eagle is rough. The bald eagle is round. The bald eagle likes the tiger. The bald eagle sees the tiger. The bald eagle visits the tiger. The tiger is not cold. The tiger is green. The tiger is rough. The tiger is not round. The tiger likes the bald eagle. The tiger sees the bald eagle. The tiger visits the bald eagle. If something likes the tiger and the tiger sees the bald eagle then the bald eagle is round. If the bald eagle sees the tiger then the bald eagle visits the tiger. If something sees the bald eagle then it likes the tiger. If something visits the tiger and the tiger is not green then it likes the tiger. If something is green and it sees the tiger then the tiger visits the bald eagle. If something is kind then it visits the bald eagle.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
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 bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If something likes the tiger and the tiger sees the bald eagle then the bald eagle is round.
((("something" "likes" "tiger" "+") ("tiger" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If the bald eagle sees the tiger then the bald eagle visits the tiger.
((("bald eagle" "sees" "tiger" "+")) -> ("bald eagle" "visits" "tiger" "+"))
If something sees the bald eagle then it likes the tiger.
((("something" "sees" "bald eagle" "+")) -> ("something" "likes" "tiger" "+"))
If something visits the tiger and the tiger is not green then it likes the tiger.
((("something" "visits" "tiger" "+") ("tiger" "is" "green" "~")) -> ("something" "likes" "tiger" "+"))
If something is green and it sees the tiger then the tiger visits the bald eagle.
((("something" "is" "green" "+") ("something" "sees" "tiger" "+")) -> ("tiger" "visits" "bald eagle" "+"))
If something is kind then it visits the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "visits" "bald eagle" "+"))
The tiger is rough.
True
1
proof
[(triple11)]
("tiger" "is" "rough" "+")
triple11
The tiger does not visit the bald eagle.
False
1
inv-proof
[(triple15 OR ((triple2 triple7) -> rule5))]
("tiger" "visits" "bald eagle" "-")
triple15
((triple2 triple7) -> (rule5 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is not kind.
Unknown
inv-random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5 OR ((triple6 triple14) -> rule1) OR ((((triple14) -> rule3) triple14) -> rule1))] The bald eagle likes the tiger.[(triple6)] The bald eagle sees the tiger.[(triple7)] The bald eagle visits the tiger.[(triple8 OR ((triple7) -> rule2))] The tiger is green.[(triple10)] The tiger is not cold.[(triple9)] The tiger is not round.[(triple12)] The tiger is rough.[(triple11)] The tiger likes the bald eagle.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger visits the bald eagle.[(triple15 OR ((triple2 triple7) -> rule5))] @1: The bald eagle visits the bald eagle.[(((triple3) -> rule6))] The tiger likes the tiger.[(((triple14) -> rule3))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple5
((triple6 triple14) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((((triple14) -> (rule3 % int2)) triple14) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple6
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple7
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple8
((triple7) -> (rule2 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is not cold.
("tiger" "is" "cold" "-")
triple9
The tiger is not round.
("tiger" "is" "round" "-")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple11
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple13
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple14
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple15
((triple2 triple7) -> (rule5 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple3) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple14) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1