Bob is big. Bob is furry. Bob is kind. Bob is rough. Erin is big. Erin is nice. Erin is young. Fiona is big. Fiona is quiet. Fiona is rough. Nice, big things are furry. All kind things are furry.
Fiona is not furry.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule2))] Bob is kind.[(triple3)] Bob is rough.[(triple4)] Erin is big.[(triple5)] Erin is nice.[(triple6)] Erin is young.[(triple7)] Fiona is big.[(triple8)] Fiona is quiet.[(triple9)] Fiona is rough.[(triple10)] @1: Erin is furry.[(((triple6 triple5) -> rule1))]