Dave is big. Dave is furry. Erin is blue. Erin is cold. Erin is round. Fiona is quiet. Gary is rough. If something is rough and cold then it is furry. Quiet, big things are not round. If Dave is blue then Dave is furry. All quiet, blue things are big. If Fiona is furry then Fiona is blue. If something is quiet then it is cold. All big things are cold. All blue, round things are not quiet. Cold things are rough.
Fiona is furry.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2 OR ((((((triple1) -> rule7)) -> rule9) ((triple1) -> rule7)) -> rule1))] Erin is blue.[(triple3)] Erin is cold.[(triple4)] Erin is round.[(triple5)] Fiona is quiet.[(triple6)] Gary is rough.[(triple7)] @1: Dave is cold.[(((triple1) -> rule7))] Erin is not quiet.[(((triple3 triple5) -> rule8))] Erin is rough.[(((triple4) -> rule9))] Fiona is cold.[(((triple6) -> rule6))] @2: Dave is rough.[(((((triple1) -> rule7)) -> rule9))] Erin is furry.[(((((triple4) -> rule9) triple4) -> rule1))] Fiona is rough.[(((((triple6) -> rule6)) -> rule9))] @3: Fiona is furry.[(((((((triple6) -> rule6)) -> rule9) ((triple6) -> rule6)) -> rule1))] @4: Fiona is blue.[(((((((((triple6) -> rule6)) -> rule9) ((triple6) -> rule6)) -> rule1)) -> rule5))] @5: Fiona is big.[(((triple6 ((((((((triple6) -> rule6)) -> rule9) ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4))] @6: Fiona is not round.[(((triple6 ((triple6 ((((((((triple6) -> rule6)) -> rule9) ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4)) -> rule2))]