Dave is green. Dave is kind. Dave is red. Dave is smart. Fiona is kind. Gary is furry. Gary is quiet. Gary is red. Gary is smart. Gary is young. If Fiona is smart then Fiona is young. Quiet people are green. If someone is young then they are smart. Kind people are furry. All furry, young people are red. If Fiona is red then Fiona is smart.
Gary is furry.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is red.[(triple3)] Dave is smart.[(triple4)] Fiona is kind.[(triple5)] Gary is furry.[(triple6)] Gary is quiet.[(triple7)] Gary is red.[(triple8 OR ((triple6 triple10) -> rule5))] Gary is smart.[(triple9 OR ((triple10) -> rule3))] Gary is young.[(triple10)] @1: Dave is furry.[(((triple2) -> rule4))] Fiona is furry.[(((triple5) -> rule4))] Gary is green.[(((triple7) -> rule2))]