Charlie is furry. Charlie is rough. Dave is cold. Dave is quiet. Fiona is blue. Gary is furry. Gary is green. Blue people are green. Cold people are green. Blue, green people are not cold. If someone is round then they are quiet. If Fiona is rough then Fiona is round. If Fiona is round and Fiona is quiet then Fiona is furry. All green people are rough.
Fiona is quiet.
@0: Charlie is furry.[(triple1)] Charlie is rough.[(triple2)] Dave is cold.[(triple3)] Dave is quiet.[(triple4)] Fiona is blue.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] @1: Dave is green.[(((triple3) -> rule2))] Fiona is green.[(((triple5) -> rule1))] Gary is rough.[(((triple7) -> rule7))] @2: Dave is rough.[(((((triple3) -> rule2)) -> rule7))] Fiona is not cold.[(((triple5 ((triple5) -> rule1)) -> rule3))] Fiona is rough.[(((((triple5) -> rule1)) -> rule7))] @3: Fiona is round.[(((((((triple5) -> rule1)) -> rule7)) -> rule5))] @4: Fiona is quiet.[(((((((((triple5) -> rule1)) -> rule7)) -> rule5)) -> rule4))] @5: Fiona is furry.[(((((((((triple5) -> rule1)) -> rule7)) -> rule5) ((((((((triple5) -> rule1)) -> rule7)) -> rule5)) -> rule4)) -> rule6))]