For being so cold, it's good Eric can remain nice. Fred is round but he is also nice and kind. Gary, who is relatively young, is also pretty big and tends to be cold. Harry is rather round shaped nice fellow who is feeling blue and looking green today. People,though kind and rough are also really nice. A rather big person is a red person. A nice young person who is big can be considered round. A kind person will certainly be rough as well. A person that is both nice and rough is someone who is also big. A kind person will certainly be young.
Fred is rough.
@0: Eric is cold.[(triple2)] Eric is nice.[(triple1)] Fred is kind.[(triple5)] Fred is nice.[(triple4 OR ((triple5 ((triple5) -> rule4)) -> rule1))] Fred is round.[(triple3 OR ((triple4 ((((triple5) -> rule4) triple4) -> rule5) ((triple5) -> rule6)) -> rule3) OR ((((triple5 ((triple5) -> rule4)) -> rule1) ((((triple5) -> rule4) triple4) -> rule5) ((triple5) -> rule6)) -> rule3) OR ((triple4 ((((triple5) -> rule4) ((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule6)) -> rule3) OR ((((triple5 ((triple5) -> rule4)) -> rule1) ((((triple5) -> rule4) ((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule6)) -> rule3))] Gary is big.[(triple8)] Gary is cold.[(triple7)] Gary is young.[(triple6)] Harry is blue.[(triple12)] Harry is green.[(triple11)] Harry is nice.[(triple10)] Harry is round.[(triple9)] @1: Fred is rough.[(((triple5) -> rule4))] Fred is young.[(((triple5) -> rule6))] Gary is red.[(((triple8) -> rule2))] @2: Fred is big.[(((((triple5) -> rule4) triple4) -> rule5) OR ((((triple5) -> rule4) ((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5))] @3: Fred is red.[(((((((triple5) -> rule4) triple4) -> rule5)) -> rule2) OR ((((((triple5) -> rule4) ((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5)) -> rule2))]