Dave loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Eric is young, rough and green, but he turns blue when he is cold like anyone else. Fred is green, which is a possible explanation for why he is so nice. They always call him rough Harry. Most young, green people are kind and because of this they are round. A rather round and big person will be kind, but also blue. Nice young people who are round are also blue. When someone is blue, lives green they can be rough but kind. Anyone you find who happens to be kind and blue will also be very nice. When somebody is round, kind and blue, you know they'll also be red. A green and quite rough person will also be blue.
Fred is big.
@0: Dave is cold.[(triple3)] Dave is rough.[(triple2)] Dave is round.[(triple1)] Eric is blue.[(triple8 OR ((triple5 triple6) -> rule7))] Eric is cold.[(triple7)] Eric is green.[(triple6)] Eric is rough.[(triple5)] Eric is young.[(triple4)] Fred is green.[(triple10)] Fred is nice.[(triple9)] Harry is rough.[(triple11)] @1: Eric is kind.[(((triple8 triple5 triple6) -> rule4) OR ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4))] @2: Eric is nice.[(((((triple8 triple5 triple6) -> rule4) triple8) -> rule5) OR ((((triple8 triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule5) OR ((((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) triple8) -> rule5) OR ((((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule5))] Eric is round.[(((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) OR ((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1))] @3: Eric is red.[(((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6) OR ((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6))]