Anne is big. Anne is furry. Bob is red. Bob is smart. Bob is young. Erin is big. Erin is kind. Erin is nice. Gary is furry. Gary is young. If someone is big then they are nice. If Bob is young and Bob is furry then Bob is nice.
Anne is young.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Bob is red.[(triple3)] Bob is smart.[(triple4)] Bob is young.[(triple5)] Erin is big.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8 OR ((triple6) -> rule1))] Gary is furry.[(triple9)] Gary is young.[(triple10)] @1: Anne is nice.[(((triple1) -> rule1))]