Alan, a kind young person is always feeling blue. Dave, a kind young person is always feeling blue. That guy Eric sure is nice. Young Gary while being blue because his is cold is round shaped while still maintaining a green thumb. Kind, round people that are really feeling blue are going to always be big. When someone is green and round, they can be rough but kind. Most big and cold people are also rough. Most round and cold people are often rough. Cold, young people are also certain to be rough people. Someone who is young at heart and age are very round. If someone shows that they are red, then they are also showing that they are green.
Dave is young.
@0: Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is young.[(triple1)] Dave is blue.[(triple6)] Dave is kind.[(triple5)] Dave is young.[(triple4)] Eric is nice.[(triple7)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is green.[(triple10)] Gary is round.[(triple9 OR ((triple8) -> rule6))] Gary is young.[(triple8)] @1: Alan is round.[(((triple1) -> rule6))] Dave is round.[(((triple4) -> rule6))] Gary is rough.[(((triple11 triple8) -> rule5) OR ((triple9 triple11) -> rule4) OR ((((triple8) -> rule6) triple11) -> rule4))] @2: Alan is big.[(((triple2 ((triple1) -> rule6) triple3) -> rule1))] Dave is big.[(((triple5 ((triple4) -> rule6) triple6) -> rule1))] Gary is kind.[(((triple10 triple9 ((triple11 triple8) -> rule5)) -> rule2) OR ((triple10 triple9 ((triple9 triple11) -> rule4)) -> rule2) OR ((triple10 ((triple8) -> rule6) ((triple11 triple8) -> rule5)) -> rule2) OR ((triple10 ((triple8) -> rule6) ((triple9 triple11) -> rule4)) -> rule2) OR ((triple10 triple9 ((((triple8) -> rule6) triple11) -> rule4)) -> rule2) OR ((triple10 ((triple8) -> rule6) ((((triple8) -> rule6) triple11) -> rule4)) -> rule2))] @3: Gary is big.[(((((triple10 triple9 ((triple11 triple8) -> rule5)) -> rule2) triple9 triple12) -> rule1) OR ((((triple10 triple9 ((triple9 triple11) -> rule4)) -> rule2) triple9 triple12) -> rule1) OR ((((triple10 triple9 ((triple11 triple8) -> rule5)) -> rule2) ((triple8) -> rule6) triple12) -> rule1) OR ((((triple10 triple9 ((triple9 triple11) -> rule4)) -> rule2) ((triple8) -> rule6) triple12) -> rule1) OR ((((triple10 ((triple8) -> rule6) ((triple11 triple8) -> rule5)) -> rule2) triple9 triple12) -> rule1) OR ((((triple10 ((triple8) -> rule6) ((triple9 triple11) -> rule4)) -> rule2) triple9 triple12) -> rule1) OR ((((triple10 ((triple8) -> rule6) ((triple11 triple8) -> rule5)) -> rule2) ((triple8) -> rule6) triple12) -> rule1) OR ((((triple10 ((triple8) -> rule6) ((triple9 triple11) -> rule4)) -> rule2) ((triple8) -> rule6) triple12) -> rule1) OR ((((triple10 triple9 ((((triple8) -> rule6) triple11) -> rule4)) -> rule2) triple9 triple12) -> rule1) OR ((((triple10 triple9 ((((triple8) -> rule6) triple11) -> rule4)) -> rule2) ((triple8) -> rule6) triple12) -> rule1) OR ((((triple10 ((triple8) -> rule6) ((((triple8) -> rule6) triple11) -> rule4)) -> rule2) triple9 triple12) -> rule1) OR ((((triple10 ((triple8) -> rule6) ((((triple8) -> rule6) triple11) -> rule4)) -> rule2) ((triple8) -> rule6) triple12) -> rule1))]