Bob is blue. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is smart. Bob is young. Erin is smart. Fiona is blue. Fiona is green. Fiona is nice. Fiona is smart. Gary is green. Gary is nice. Gary is quiet. Gary is smart. If someone is nice then they are young. All quiet people are nice. Quiet people are young.
Fiona is green.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple5) -> rule2))] Bob is quiet.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple4) -> rule1) OR ((triple5) -> rule3) OR ((((triple5) -> rule2)) -> rule1))] Erin is smart.[(triple8)] Fiona is blue.[(triple9)] Fiona is green.[(triple10)] Fiona is nice.[(triple11)] Fiona is smart.[(triple12)] Gary is green.[(triple13)] Gary is nice.[(triple14 OR ((triple15) -> rule2))] Gary is quiet.[(triple15)] Gary is smart.[(triple16)] @1: Fiona is young.[(((triple11) -> rule1))] Gary is young.[(((triple14) -> rule1) OR ((triple15) -> rule3) OR ((((triple15) -> rule2)) -> rule1))]