Anne is blue. Anne is furry. Anne is red. Anne is rough. Bob is red. Bob is smart. Bob is young. Gary is blue. Gary is furry. Gary is quiet. If someone is quiet then they are rough. All furry, smart people are red. All rough people are smart.
Gary is red.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3 OR ((triple2 ((triple4) -> rule3)) -> rule2))] Anne is rough.[(triple4)] Bob is red.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is quiet.[(triple10)] @1: Anne is smart.[(((triple4) -> rule3))] Gary is rough.[(((triple10) -> rule1))] @2: Gary is smart.[(((((triple10) -> rule1)) -> rule3))] @3: Gary is red.[(((triple9 ((((triple10) -> rule1)) -> rule3)) -> rule2))]