Bob is big. Bob is furry. Bob is quiet. Bob is white. Bob is young. Erin is furry. Erin is green. Erin is quiet. Erin is young. Fiona is big. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is smart. Fiona is white. If Bob is quiet then Bob is green. All quiet, white things are green.
Fiona is green.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is quiet.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is quiet.[(triple8)] Erin is young.[(triple9)] Fiona is big.[(triple10)] Fiona is furry.[(triple11)] Fiona is green.[(triple12 OR ((triple13 triple15) -> rule2))] Fiona is quiet.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15)] @1: Bob is green.[(((triple3) -> rule1) OR ((triple3 triple4) -> rule2))]