Bob is big. Bob is blue. Bob is nice. Bob is quiet. Bob is red. Bob is round. Fiona is big. Fiona is blue. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. Gary is quiet. Gary is red. Gary is round. If Fiona is round then Fiona is blue. Nice, red things are round. All big, green things are nice.
Gary is quiet.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6 OR ((triple3 triple5) -> rule2))] Fiona is big.[(triple7)] Fiona is blue.[(triple8 OR ((triple13) -> rule1) OR ((((triple10 triple12) -> rule2)) -> rule1) OR ((((((triple7 triple9) -> rule3) triple12) -> rule2)) -> rule1))] Fiona is green.[(triple9)] Fiona is nice.[(triple10 OR ((triple7 triple9) -> rule3))] Fiona is quiet.[(triple11)] Fiona is red.[(triple12)] Fiona is round.[(triple13 OR ((triple10 triple12) -> rule2) OR ((((triple7 triple9) -> rule3) triple12) -> rule2))] Gary is quiet.[(triple14)] Gary is red.[(triple15)] Gary is round.[(triple16)]