Bob is quiet. Bob is smart. Charlie is blue. Charlie is furry. Charlie is red. Charlie is round. Fiona is blue. Fiona is quiet. Fiona is red. Fiona is smart. Gary is blue. Gary is furry. Gary is quiet. Gary is round. Gary is smart. All big people are blue. All round people are red. Red people are quiet. All quiet, red people are round. Quiet, smart people are round. All big, quiet people are blue.
Gary is quiet.
@0: Bob is quiet.[(triple1)] Bob is smart.[(triple2)] Charlie is blue.[(triple3)] Charlie is furry.[(triple4)] Charlie is red.[(triple5 OR ((triple6) -> rule2))] Charlie is round.[(triple6 OR ((((triple5) -> rule3) triple5) -> rule4))] Fiona is blue.[(triple7)] Fiona is quiet.[(triple8 OR ((triple9) -> rule3))] Fiona is red.[(triple9 OR ((((triple8 triple10) -> rule5)) -> rule2))] Fiona is smart.[(triple10)] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Gary is quiet.[(triple13 OR ((((triple14) -> rule2)) -> rule3))] Gary is round.[(triple14 OR ((triple13 triple15) -> rule5))] Gary is smart.[(triple15)] @1: Bob is round.[(((triple1 triple2) -> rule5))] Charlie is quiet.[(((triple5) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] Fiona is round.[(((triple8 triple10) -> rule5) OR ((triple8 triple9) -> rule4) OR ((((triple9) -> rule3) triple10) -> rule5) OR ((((triple9) -> rule3) triple9) -> rule4))] Gary is red.[(((triple14) -> rule2) OR ((((triple13 triple15) -> rule5)) -> rule2))] @2: Bob is red.[(((((triple1 triple2) -> rule5)) -> rule2))]