Bob is furry. Bob is kind. Bob is red. Bob is round. Erin is furry. Erin is not quiet. Erin is red. Erin is smart. Fiona is furry. Fiona is not kind. Fiona is quiet. Fiona is round. All smart, kind things are furry. If something is kind then it is rough.
Erin is not rough.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Erin is furry.[(triple5)] Erin is not quiet.[(triple6)] Erin is red.[(triple7)] Erin is smart.[(triple8)] Fiona is furry.[(triple9)] Fiona is not kind.[(triple10)] Fiona is quiet.[(triple11)] Fiona is round.[(triple12)] @1: Bob is rough.[(((triple2) -> rule2))]