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