Dave is cold. Dave is red. Dave is round. Dave is smart. Fiona is quiet. Fiona is white. Gary is furry. If someone is red then they are round. If Fiona is red then Fiona is smart. Cold, furry people are smart. If Dave is round then Dave is red. Furry people are red. If Dave is smart and Dave is quiet then Dave is white. All smart, red people are furry. Round people are furry.
Fiona is quiet.
@0: Dave is cold.[(triple1)] Dave is red.[(triple2 OR ((triple3) -> rule4) OR ((((triple3) -> rule8)) -> rule5))] Dave is round.[(triple3 OR ((triple2) -> rule1))] Dave is smart.[(triple4 OR ((triple1 ((triple3) -> rule8)) -> rule3) OR ((triple1 ((((triple2) -> rule1)) -> rule8)) -> rule3))] Fiona is quiet.[(triple5)] Fiona is white.[(triple6)] Gary is furry.[(triple7)] @1: Dave is furry.[(((triple3) -> rule8) OR ((triple4 triple2) -> rule7) OR ((((triple2) -> rule1)) -> rule8) OR ((triple4 ((triple3) -> rule4)) -> rule7))] Gary is red.[(((triple7) -> rule5))] @2: Gary is round.[(((((triple7) -> rule5)) -> rule1))]