The bald eagle chases the tiger. The bald eagle is blue. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. The bald eagle is round. The bald eagle likes the tiger. The bald eagle sees the tiger. The tiger chases 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. The tiger sees the bald eagle. If something chases the tiger and it chases the bald eagle then the bald eagle sees the tiger. If something sees the bald eagle then it likes the tiger. If something sees the tiger and it is blue then the tiger is blue. All kind things are red. If the bald eagle is rough and the bald eagle sees the tiger then the bald eagle is round. If something likes the tiger then it is red. If something is round and it sees the bald eagle then the bald eagle sees the tiger. Blue things are rough.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is 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 bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "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" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If something chases the tiger and it chases the bald eagle then the bald eagle sees the tiger.
((("something" "chases" "tiger" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If something sees the bald eagle then it likes the tiger.
((("something" "sees" "bald eagle" "+")) -> ("something" "likes" "tiger" "+"))
If something sees the tiger and it is blue then the tiger is blue.
((("something" "sees" "tiger" "+") ("something" "is" "blue" "+")) -> ("tiger" "is" "blue" "+"))
All kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If the bald eagle is rough and the bald eagle sees the tiger then the bald eagle is round.
((("bald eagle" "is" "rough" "+") ("bald eagle" "sees" "tiger" "+")) -> ("bald eagle" "is" "round" "+"))
If something likes the tiger then it is red.
((("something" "likes" "tiger" "+")) -> ("something" "is" "red" "+"))
If something is round and it sees the bald eagle then the bald eagle sees the tiger.
((("something" "is" "round" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "tiger" "+"))
Blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
The tiger is red.
True
1
proof
[(triple12 OR ((triple11) -> rule4) OR ((((triple16) -> rule2)) -> rule6))]
("tiger" "is" "red" "+")
triple12
((triple11) -> (rule4 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
((((triple16) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The bald eagle does not like the tiger.
False
1
inv-proof
[(triple7)]
("bald eagle" "likes" "tiger" "-")
triple7
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
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 blue.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4 OR ((triple3) -> rule4) OR ((triple7) -> rule6))] The bald eagle is rough.[(triple5 OR ((triple2) -> rule8))] The bald eagle is round.[(triple6 OR ((triple5 triple8) -> rule5) OR ((triple5 ((triple14 triple16) -> rule7)) -> rule5) OR ((((triple2) -> rule8) triple8) -> rule5) OR ((((triple2) -> rule8) ((triple14 triple16) -> rule7)) -> rule5))] The bald eagle likes the tiger.[(triple7)] The bald eagle sees the tiger.[(triple8 OR ((triple14 triple16) -> rule7))] The tiger chases the bald eagle.[(triple9)] The tiger is blue.[(triple10 OR ((triple8 triple2) -> rule3) OR ((((triple14 triple16) -> rule7) triple2) -> rule3))] The tiger is kind.[(triple11)] The tiger is red.[(triple12 OR ((triple11) -> rule4) OR ((((triple16) -> rule2)) -> rule6))] The tiger is rough.[(triple13 OR ((triple10) -> rule8) OR ((((triple8 triple2) -> rule3)) -> rule8) OR ((((((triple14 triple16) -> rule7) triple2) -> rule3)) -> rule8))] The tiger is round.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger sees the bald eagle.[(triple16)] @1: The tiger likes the tiger.[(((triple16) -> rule2))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
((triple3) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
((triple7) -> (rule6 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple5
((triple2) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
((triple5 triple8) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((triple5 ((triple14 triple16) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
((((triple2) -> (rule8 % int2)) triple8) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
((((triple2) -> (rule8 % int3)) ((triple14 triple16) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple7
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple8
((triple14 triple16) -> (rule7 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
((triple8 triple2) -> (rule3 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
((((triple14 triple16) -> (rule7 % int2)) triple2) -> (rule3 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger is red.
("tiger" "is" "red" "+")
triple12
((triple11) -> (rule4 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
((((triple16) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
((triple10) -> (rule8 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
((((triple8 triple2) -> (rule3 % int2))) -> (rule8 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
((((((triple14 triple16) -> (rule7 % int3)) triple2) -> (rule3 % int2))) -> (rule8 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple15
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple16
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple16) -> (rule2 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1