Bob is big. Bob is rough. Bob is round. Fiona is big. Fiona is furry. Fiona is kind. Fiona is quiet. Gary is furry. Gary is kind. Gary is rough. Gary is round. Harry is quiet. If something is kind and quiet then it is rough. Rough things are round. If Gary is big and Gary is furry then Gary is kind.
Gary is not furry.
@0: Bob is big.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3 OR ((triple2) -> rule2))] Fiona is big.[(triple4)] Fiona is furry.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is rough.[(triple10)] Gary is round.[(triple11 OR ((triple10) -> rule2))] Harry is quiet.[(triple12)] @1: Fiona is rough.[(((triple6 triple7) -> rule1))] @2: Fiona is round.[(((((triple6 triple7) -> rule1)) -> rule2))]