Bob is big. Bob is nice. Dave is blue. Erin is blue. Erin is furry. Erin is smart. Erin is white. Gary is blue. Gary is nice. Gary is rough. Nice people are big. All smart people are white. If someone is big then they are furry.
Gary is not rough.
@0: Bob is big.[(triple1 OR ((triple2) -> rule1))] Bob is nice.[(triple2)] Dave is blue.[(triple3)] Erin is blue.[(triple4)] Erin is furry.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple6) -> rule2))] Gary is blue.[(triple8)] Gary is nice.[(triple9)] Gary is rough.[(triple10)] @1: Bob is furry.[(((triple1) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] Gary is big.[(((triple9) -> rule1))] @2: Gary is furry.[(((((triple9) -> rule1)) -> rule3))]