Charlie is quiet. Charlie is red. Charlie is smart. Fiona is big. Fiona is blue. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is smart. Gary is blue. Gary is nice. Gary is quiet. Gary is red. Gary is smart. If someone is big and smart then they are nice. Nice people are red.
Fiona is blue.
@0: Charlie is quiet.[(triple1)] Charlie is red.[(triple2)] Charlie is smart.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7 OR ((triple4 triple10) -> rule1))] Fiona is quiet.[(triple8)] Fiona is red.[(triple9 OR ((triple7) -> rule2) OR ((((triple4 triple10) -> rule1)) -> rule2))] Fiona is smart.[(triple10)] Gary is blue.[(triple11)] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Gary is red.[(triple14 OR ((triple12) -> rule2))] Gary is smart.[(triple15)]