Bob is quiet. Erin is blue. Erin is quiet. Erin is smart. Erin is white. Fiona is blue. Fiona is smart. Gary is big. Gary is blue. Gary is furry. Gary is quiet. Gary is smart. If something is white then it is young. If something is blue then it is big. Quiet things are furry.
Bob is white.
@0: Bob is quiet.[(triple1)] Erin is blue.[(triple2)] Erin is quiet.[(triple3)] Erin is smart.[(triple4)] Erin is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is smart.[(triple7)] Gary is big.[(triple8 OR ((triple9) -> rule2))] Gary is blue.[(triple9)] Gary is furry.[(triple10 OR ((triple11) -> rule3))] Gary is quiet.[(triple11)] Gary is smart.[(triple12)] @1: Bob is furry.[(((triple1) -> rule3))] Erin is big.[(((triple2) -> rule2))] Erin is furry.[(((triple3) -> rule3))] Erin is young.[(((triple5) -> rule1))] Fiona is big.[(((triple6) -> rule2))]