Dave is quiet. Fiona is nice. Fiona is smart. Gary is not furry. Gary is quiet. Gary is not rough. Gary is round. Harry is nice. Harry is quiet. Harry is rough. If something is big and smart then it is round. All rough things are smart. If something is smart and not nice then it is big. All smart things are big. If Fiona is nice then Fiona is not rough. If Fiona is big then Fiona is smart.
Fiona is rough.
@0: Dave is quiet.[(triple1)] Fiona is nice.[(triple2)] Fiona is smart.[(triple3)] Gary is not furry.[(triple4)] Gary is not rough.[(triple6)] Gary is quiet.[(triple5)] Gary is round.[(triple7)] Harry is nice.[(triple8)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)] @1: Fiona is big.[(((triple3) -> rule4))] Fiona is not rough.[(((triple2) -> rule5))] Harry is smart.[(((triple10) -> rule2))] @2: Fiona is round.[(((((triple3) -> rule4) triple3) -> rule1))] Harry is big.[(((((triple10) -> rule2)) -> rule4))] @3: Harry is round.[(((((((triple10) -> rule2)) -> rule4) ((triple10) -> rule2)) -> rule1))]