Bob is not big. Bob is quiet. Bob is red. Bob is round. Bob is young. Gary is big. Gary is red. Gary is round. Gary is smart. Gary is young. If Bob is quiet then Bob is furry. All big things are quiet. If Gary is not big then Gary is round.
Bob is not smart.
@0: Bob is not big.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple5)] Gary is big.[(triple6)] Gary is red.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10)] @1: Bob is furry.[(((triple2) -> rule1))] Gary is quiet.[(((triple6) -> rule2))]