Charlie is big. Dave is furry. Dave is nice. Fiona is big. Fiona is blue. Fiona is nice. Fiona is smart. Gary is blue. Gary is furry. Gary is nice. If someone is red then they are rough. Furry people are rough. Nice, rough people are red.
Charlie is nice.
@0: Charlie is big.[(triple1)] Dave is furry.[(triple2)] Dave is nice.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is nice.[(triple6)] Fiona is smart.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is nice.[(triple10)] @1: Dave is rough.[(((triple2) -> rule2))] Gary is rough.[(((triple9) -> rule2))] @2: Dave is red.[(((triple3 ((triple2) -> rule2)) -> rule3))] Gary is red.[(((triple10 ((triple9) -> rule2)) -> rule3))]