Alan might be rough and red but he's actually very kind. Eric is red and blue colored. He is cold to the touch, big and rough. Fred is young and green. This makes him cold to others. Harry seems to be round. Young, red people are usually quite blue too. A red hued and rough looking person is definitely a young person. People who are said to be big and nice are round. Often a young, blue person is very kind and then will be nice to others. A cold blue person who is rough is also kind.
Alan is round.
@0: Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Eric is big.[(triple8)] Eric is blue.[(triple7 OR ((triple5 ((triple5 triple4) -> rule2)) -> rule1))] Eric is cold.[(triple6)] Eric is red.[(triple5)] Eric is rough.[(triple4)] Fred is cold.[(triple11)] Fred is green.[(triple10)] Fred is young.[(triple9)] Harry is round.[(triple12)] @1: Alan is young.[(((triple2 triple1) -> rule2))] Eric is kind.[(((triple7 triple6 triple4) -> rule5) OR ((((triple5 ((triple5 triple4) -> rule2)) -> rule1) triple6 triple4) -> rule5))] Eric is young.[(((triple5 triple4) -> rule2))] @2: Alan is blue.[(((triple2 ((triple2 triple1) -> rule2)) -> rule1))] Eric is nice.[(((triple7 ((triple5 triple4) -> rule2) ((triple7 triple6 triple4) -> rule5)) -> rule4) OR ((((triple5 ((triple5 triple4) -> rule2)) -> rule1) ((triple5 triple4) -> rule2) ((triple7 triple6 triple4) -> rule5)) -> rule4) OR ((triple7 ((triple5 triple4) -> rule2) ((((triple5 ((triple5 triple4) -> rule2)) -> rule1) triple6 triple4) -> rule5)) -> rule4) OR ((((triple5 ((triple5 triple4) -> rule2)) -> rule1) ((triple5 triple4) -> rule2) ((((triple5 ((triple5 triple4) -> rule2)) -> rule1) triple6 triple4) -> rule5)) -> rule4))] @3: Alan is nice.[(((((triple2 ((triple2 triple1) -> rule2)) -> rule1) ((triple2 triple1) -> rule2) triple3) -> rule4))] Eric is round.[(((triple8 ((triple7 ((triple5 triple4) -> rule2) ((triple7 triple6 triple4) -> rule5)) -> rule4)) -> rule3) OR ((triple8 ((((triple5 ((triple5 triple4) -> rule2)) -> rule1) ((triple5 triple4) -> rule2) ((triple7 triple6 triple4) -> rule5)) -> rule4)) -> rule3) OR ((triple8 ((triple7 ((triple5 triple4) -> rule2) ((((triple5 ((triple5 triple4) -> rule2)) -> rule1) triple6 triple4) -> rule5)) -> rule4)) -> rule3) OR ((triple8 ((((triple5 ((triple5 triple4) -> rule2)) -> rule1) ((triple5 triple4) -> rule2) ((((triple5 ((triple5 triple4) -> rule2)) -> rule1) triple6 triple4) -> rule5)) -> rule4)) -> rule3))]