Alan is young and green. Even though he is round he is cold outside. Fred is a kind person and he is also often cold. Gary is kind and nice and looks green. The young person who is always feeling cold is named Harry. Kind people that are red and round are usually big. People,though kind and rough are also really nice. If a person is described as being nice, cold and young it usually follow that they are red. A very nice person who is also green is certainly kind. Young people who are cold to others and green with envy are actually nice. If someone plays rough and is nice and round, they will be big. People who are said to be big and nice are round.
Alan is not red.
@0: Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Fred is cold.[(triple6)] Fred is kind.[(triple5)] Gary is green.[(triple9)] Gary is kind.[(triple8 OR ((triple9 triple7) -> rule4))] Gary is nice.[(triple7)] Harry is cold.[(triple11)] Harry is young.[(triple10)] @1: Alan is nice.[(((triple3 triple1 triple4) -> rule5))] @2: Alan is kind.[(((triple3 ((triple3 triple1 triple4) -> rule5)) -> rule4))] Alan is red.[(((((triple3 triple1 triple4) -> rule5) triple4 triple1) -> rule3))] @3: Alan is big.[(((((triple3 ((triple3 triple1 triple4) -> rule5)) -> rule4) triple2 ((((triple3 triple1 triple4) -> rule5) triple4 triple1) -> rule3)) -> rule1))]