Alan was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Fred is a red fellow who habitually looks blue. He's often cold. Harry is so young and darling he is kind to all the old people on the block. A young and cold person is red. A quite nice person who is red and green is also big. Generally, round and kind people are big. Red people who are green and blue are always kind. Anyone who's blue is also green. It's true that green and blue people are also red people.
Alan is not big.
@0: Alan is blue.[(triple3)] Alan is green.[(triple2 OR ((triple3) -> rule5))] Alan is round.[(triple1)] Fred is blue.[(triple6)] Fred is cold.[(triple5)] Fred is red.[(triple4 OR ((((triple6) -> rule5) triple6) -> rule6))] Harry is kind.[(triple8)] Harry is young.[(triple7)] @1: Alan is red.[(((triple2 triple3) -> rule6) OR ((((triple3) -> rule5) triple3) -> rule6))] Fred is green.[(((triple6) -> rule5))] @2: Alan is kind.[(((((triple2 triple3) -> rule6) triple3 triple2) -> rule4) OR ((((triple2 triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule5) triple3) -> rule6) triple3 triple2) -> rule4) OR ((((((triple3) -> rule5) triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4))] Fred is kind.[(((triple4 triple6 ((triple6) -> rule5)) -> rule4) OR ((((((triple6) -> rule5) triple6) -> rule6) triple6 ((triple6) -> rule5)) -> rule4))] @3: Alan is big.[(((triple1 ((((triple2 triple3) -> rule6) triple3 triple2) -> rule4)) -> rule3) OR ((triple1 ((((triple2 triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4)) -> rule3) OR ((triple1 ((((((triple3) -> rule5) triple3) -> rule6) triple3 triple2) -> rule4)) -> rule3) OR ((triple1 ((((((triple3) -> rule5) triple3) -> rule6) triple3 ((triple3) -> rule5)) -> rule4)) -> rule3))]