Eric, who is relatively young, is also pretty big and tends to be cold. Fred can be rough and cold, but he is also green, an avid gardener. Gary can be kind but he will talks so much his face turns blue. He is usually red and round other than that. Harry is a kind person and he is also often cold. A person who is feeling rough, has red cheeks and feeling green will also tend to feel blue. Even though young people are rough, they are still very red. Blue, big and kind all at once, that person must be green too. A person that is both nice and rough is someone who is also big. Anyone feeling cold is bound to act nice. Big people who are blue and red are afflicted with rough skin. A nice person with cold skin is going to be rough.
Harry is not big.
@0: Eric is big.[(triple3 OR ((((triple2 ((triple2) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule4))] Eric is cold.[(triple2)] Eric is young.[(triple1)] Fred is cold.[(triple6)] Fred is green.[(triple5)] Fred is rough.[(triple4 OR ((triple6 ((triple6) -> rule5)) -> rule7))] Gary is blue.[(triple10)] Gary is kind.[(triple9)] Gary is red.[(triple8)] Gary is round.[(triple7)] Harry is cold.[(triple12)] Harry is kind.[(triple11)] @1: Eric is nice.[(((triple2) -> rule5))] Fred is nice.[(((triple6) -> rule5))] Harry is nice.[(((triple12) -> rule5))] @2: Eric is rough.[(((triple2 ((triple2) -> rule5)) -> rule7))] Fred is big.[(((triple4 ((triple6) -> rule5)) -> rule4) OR ((((triple6 ((triple6) -> rule5)) -> rule7) ((triple6) -> rule5)) -> rule4))] Harry is rough.[(((triple12 ((triple12) -> rule5)) -> rule7))] @3: Eric is red.[(((((triple2 ((triple2) -> rule5)) -> rule7) triple1) -> rule2))] Harry is big.[(((((triple12 ((triple12) -> rule5)) -> rule7) ((triple12) -> rule5)) -> rule4))]