Bob is a man who is both round and rough. Young Fred woke feeling as round and nice as a kind, green man in the cold. Harry is very nice to people, but he's also rather big. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. His cheeks were red from the cold, and his big blue eye were watering. Young, green round people are big. A kind, young person will be rough textured. Rough and green people are also nice. Young people tend to rough and nice, but they are also red. A person who is round and nice is cold.
Charlie is kind.
@0: Bob is rough.[(triple2)] Bob is round.[(triple1)] Fred is cold.[(triple8 OR ((triple5 triple4) -> rule7) OR ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) triple5) -> rule1) OR ((((((triple3 triple6) -> rule4) triple7) -> rule5) triple4) -> rule7) OR ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule1))] Fred is green.[(triple7)] Fred is kind.[(triple6)] Fred is nice.[(triple5 OR ((((triple3 triple6) -> rule4) triple7) -> rule5))] Fred is round.[(triple4)] Fred is young.[(triple3)] Harry is big.[(triple10)] Harry is nice.[(triple9)] @1: Fred is big.[(((triple7 triple3 triple4) -> rule3))] Fred is rough.[(((triple3 triple6) -> rule4))] @2: Fred is red.[(((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) OR ((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6))] @3: Fred is blue.[(((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) triple8) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((triple5 triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) triple5) -> rule1)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) triple8) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((((triple3 triple6) -> rule4) triple7) -> rule5) triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((triple5 triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) triple5) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule1)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((((triple3 triple6) -> rule4) triple7) -> rule5) triple4) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) triple5) -> rule1)) -> rule2) OR ((((triple3 ((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule6) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) ((triple7 triple3 triple4) -> rule3) ((((triple3 triple6) -> rule4) triple7) -> rule5)) -> rule1)) -> rule2))]