Dave is big in stature, blue from the cold, has red hair and is kind. The big, round, blue guy is Eric. He's kind but rather rough. Others enjoy Fred's company because he is so nice and kind. A big person who looks blue is also going to look young. Nice people who have red cold skin are round. People with blue and red skin color are also green. Blue, young and round people are usually big. A cold, red person with a kind disposition will certainly be big. Blue people round with fat are red from too much time in the sun. Kind people,though green,are cold.
Fred is nice.
@0: Dave is big.[(triple5 OR ((triple1 triple3 triple2) -> rule5) OR ((triple1 ((triple2 ((triple4 triple1) -> rule3)) -> rule7) triple2) -> rule5))] Dave is blue.[(triple4)] Dave is cold.[(triple3 OR ((triple2 ((triple4 triple1) -> rule3)) -> rule7))] Dave is kind.[(triple2)] Dave is red.[(triple1)] Eric is big.[(triple10 OR ((((triple9 triple6) -> rule6) ((triple8 ((triple9 ((triple9 triple6) -> rule6)) -> rule3)) -> rule7) triple8) -> rule5))] Eric is blue.[(triple9)] Eric is kind.[(triple8)] Eric is rough.[(triple7)] Eric is round.[(triple6)] Fred is kind.[(triple12)] Fred is nice.[(triple11)] @1: Dave is green.[(((triple4 triple1) -> rule3))] Dave is young.[(((triple4 triple5) -> rule1) OR ((triple4 ((triple1 triple3 triple2) -> rule5)) -> rule1) OR ((triple4 ((triple1 ((triple2 ((triple4 triple1) -> rule3)) -> rule7) triple2) -> rule5)) -> rule1))] Eric is red.[(((triple9 triple6) -> rule6))] Eric is young.[(((triple9 triple10) -> rule1) OR ((triple9 ((((triple9 triple6) -> rule6) ((triple8 ((triple9 ((triple9 triple6) -> rule6)) -> rule3)) -> rule7) triple8) -> rule5)) -> rule1))] @2: Eric is green.[(((triple9 ((triple9 triple6) -> rule6)) -> rule3))] @3: Eric is cold.[(((triple8 ((triple9 ((triple9 triple6) -> rule6)) -> rule3)) -> rule7))]