Dave always goes out of his way to show that he is kind to people. You could say that Eric is red and kind and it would also be true that he is cold and big. Fred grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Gary is round, dresses in red, but is blue with cold. A kind red person is also a blue person. It's been proven that red, rough people are green as well. Red haired people who are nice and kind are looked up to because they are always big. Blue people who are rough are often young. A person that is feeling blue and slightly big, is red as well. Being cold and blue made them rough to deal with. A person who is cold, rough and young is also nice.
Fred is not big.
@0: Dave is kind.[(triple1)] Eric is big.[(triple5 OR ((triple3 ((triple4 ((((triple4 ((triple3 triple2) -> rule1)) -> rule6) ((triple3 triple2) -> rule1)) -> rule4) ((triple4 ((triple3 triple2) -> rule1)) -> rule6)) -> rule7) triple2) -> rule3))] Eric is cold.[(triple4)] Eric is kind.[(triple3)] Eric is red.[(triple2)] Fred is blue.[(triple7)] Fred is rough.[(triple6)] Gary is blue.[(triple11)] Gary is cold.[(triple10)] Gary is red.[(triple9)] Gary is round.[(triple8)] @1: Eric is blue.[(((triple3 triple2) -> rule1))] Fred is young.[(((triple6 triple7) -> rule4))] Gary is rough.[(((triple10 triple11) -> rule6))] @2: Eric is rough.[(((triple4 ((triple3 triple2) -> rule1)) -> rule6))] Gary is green.[(((triple9 ((triple10 triple11) -> rule6)) -> rule2))] Gary is young.[(((((triple10 triple11) -> rule6) triple11) -> rule4))] @3: Eric is green.[(((triple2 ((triple4 ((triple3 triple2) -> rule1)) -> rule6)) -> rule2))] Eric is young.[(((((triple4 ((triple3 triple2) -> rule1)) -> rule6) ((triple3 triple2) -> rule1)) -> rule4))] Gary is nice.[(((triple10 ((((triple10 triple11) -> rule6) triple11) -> rule4) ((triple10 triple11) -> rule6)) -> rule7))] @4: Eric is nice.[(((triple4 ((((triple4 ((triple3 triple2) -> rule1)) -> rule6) ((triple3 triple2) -> rule1)) -> rule4) ((triple4 ((triple3 triple2) -> rule1)) -> rule6)) -> rule7))]