Bob is not furry. Bob is quiet. Erin is quiet. Fiona is nice. Fiona is red. Gary is nice. Gary is red. If someone is nice and cold then they are furry. If Gary is green then Gary is not red. If someone is cold then they are red. All quiet, red people are green. If someone is cold and furry then they are green. All cold, quiet people are smart. Cold, green people are quiet. If Fiona is nice then Fiona is cold.
Fiona is not cold.
@0: Bob is not furry.[(triple1)] Bob is quiet.[(triple2)] Erin is quiet.[(triple3)] Fiona is nice.[(triple4)] Fiona is red.[(triple5 OR ((((triple4) -> rule8)) -> rule3))] Gary is nice.[(triple6)] Gary is red.[(triple7)] @1: Fiona is cold.[(((triple4) -> rule8))] @2: Fiona is furry.[(((triple4 ((triple4) -> rule8)) -> rule1))] @3: Fiona is green.[(((((triple4) -> rule8) ((triple4 ((triple4) -> rule8)) -> rule1)) -> rule5))] @4: Fiona is quiet.[(((((triple4) -> rule8) ((((triple4) -> rule8) ((triple4 ((triple4) -> rule8)) -> rule1)) -> rule5)) -> rule7))] @5: Fiona is smart.[(((((triple4) -> rule8) ((((triple4) -> rule8) ((((triple4) -> rule8) ((triple4 ((triple4) -> rule8)) -> rule1)) -> rule5)) -> rule7)) -> rule6))]