That guy Alan sure is nice. Rough and cold that is what they say about Blue Bob. Eric is big, round and rough, but he is nice and kind. The young person who is always feeling cold is named Gary. A rather big person is a red person. Even though young people are rough, they are still very red. If a person happens to be big kind and red at the same time they are a young person. Nice, young red people will also turn out to always be green. A person that is very big and also the color red they will also be blue. Count on anyone you meet who is big, round, and red also being kind. When a person is blue, rough and kind then it means they also are cold.
Alan is rough.
@0: Alan is nice.[(triple1)] Bob is blue.[(triple4)] Bob is cold.[(triple3)] Bob is rough.[(triple2)] Eric is big.[(triple9)] Eric is kind.[(triple8 OR ((triple9 triple5 ((triple9) -> rule1)) -> rule6))] Eric is nice.[(triple7)] Eric is rough.[(triple6)] Eric is round.[(triple5)] Gary is cold.[(triple11)] Gary is young.[(triple10)] @1: Eric is red.[(((triple9) -> rule1))] @2: Eric is blue.[(((triple9 ((triple9) -> rule1)) -> rule5))] Eric is young.[(((((triple9) -> rule1) triple8 triple9) -> rule3) OR ((((triple9) -> rule1) ((triple9 triple5 ((triple9) -> rule1)) -> rule6) triple9) -> rule3))] @3: Eric is cold.[(((((triple9 ((triple9) -> rule1)) -> rule5) triple6 triple8) -> rule7) OR ((((triple9 ((triple9) -> rule1)) -> rule5) triple6 ((triple9 triple5 ((triple9) -> rule1)) -> rule6)) -> rule7))] Eric is green.[(((((((triple9) -> rule1) triple8 triple9) -> rule3) ((triple9) -> rule1) triple7) -> rule4) OR ((((((triple9) -> rule1) ((triple9 triple5 ((triple9) -> rule1)) -> rule6) triple9) -> rule3) ((triple9) -> rule1) triple7) -> rule4))]