Dave is blue. Fiona is quiet. Gary is nice. Smart things are furry. If something is rough then it is blue. If Gary is nice and Gary is quiet then Gary is rough. If something is nice then it is rough. Blue things are quiet. Quiet things are smart. If something is smart and blue then it is kind. If something is furry then it is kind.
Fiona is nice.
@0: Dave is blue.[(triple1)] Fiona is quiet.[(triple2)] Gary is nice.[(triple3)] @1: Dave is quiet.[(((triple1) -> rule5))] Fiona is smart.[(((triple2) -> rule6))] Gary is rough.[(((triple3) -> rule4))] @2: Dave is smart.[(((((triple1) -> rule5)) -> rule6))] Fiona is furry.[(((((triple2) -> rule6)) -> rule1))] Gary is blue.[(((((triple3) -> rule4)) -> rule2))] @3: Dave is furry.[(((((((triple1) -> rule5)) -> rule6)) -> rule1))] Dave is kind.[(((((((triple1) -> rule5)) -> rule6) triple1) -> rule7) OR ((((((((triple1) -> rule5)) -> rule6)) -> rule1)) -> rule8))] Fiona is kind.[(((((((triple2) -> rule6)) -> rule1)) -> rule8))] Gary is quiet.[(((((((triple3) -> rule4)) -> rule2)) -> rule5))] @4: Gary is smart.[(((((((((triple3) -> rule4)) -> rule2)) -> rule5)) -> rule6))] @5: Gary is furry.[(((((((((((triple3) -> rule4)) -> rule2)) -> rule5)) -> rule6)) -> rule1))] Gary is kind.[(((((((((((triple3) -> rule4)) -> rule2)) -> rule5)) -> rule6) ((((triple3) -> rule4)) -> rule2)) -> rule7) OR ((((((((((((triple3) -> rule4)) -> rule2)) -> rule5)) -> rule6)) -> rule1)) -> rule8))]