Although Alan is young and nice, he is as cold as ice. Although Bob is young and nice, he is as cold as ice. Fred, who is round, red, kind, and also green, tends to be rather blue. In the snow sits Gary, crying from being cold. A nice person who is green is feeling cold. Green, nice people who have round shapes are going to be kind to you. Any cold, round, green person is going to be young at the same time. In every case of people being kind and blue and green, we find they are concurrently nice. A round person will also be red.
Fred is nice.
@0: Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is cold.[(triple6)] Bob is nice.[(triple5)] Bob is young.[(triple4)] Fred is blue.[(triple11)] Fred is green.[(triple10)] Fred is kind.[(triple9)] Fred is red.[(triple8 OR ((triple7) -> rule5))] Fred is round.[(triple7)] Gary is cold.[(triple12)] @1: Fred is nice.[(((triple9 triple11 triple10) -> rule4))] @2: Fred is cold.[(((triple10 ((triple9 triple11 triple10) -> rule4)) -> rule1))] @3: Fred is young.[(((((triple10 ((triple9 triple11 triple10) -> rule4)) -> rule1) triple7 triple10) -> rule3))]