Dave is blue. Dave is green. Dave is red. Dave is rough. Fiona is green. Fiona is round. Fiona is smart. Gary is blue. Gary is red. Gary is smart. If Gary is green and Gary is red then Gary is round. All round, rough people are green. If someone is rough then they are round. If Dave is red and Dave is kind then Dave is rough. If someone is blue then they are green. All round, green people are rough.
Gary is round.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2 OR ((triple1) -> rule5) OR ((((triple4) -> rule3) triple4) -> rule2))] Dave is red.[(triple3)] Dave is rough.[(triple4)] Fiona is green.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] Gary is blue.[(triple8)] Gary is red.[(triple9)] Gary is smart.[(triple10)] @1: Dave is round.[(((triple4) -> rule3))] Fiona is rough.[(((triple6 triple5) -> rule6))] Gary is green.[(((triple8) -> rule5))] @2: Gary is round.[(((((triple8) -> rule5) triple9) -> rule1))] @3: Gary is rough.[(((((((triple8) -> rule5) triple9) -> rule1) ((triple8) -> rule5)) -> rule6))]