Dave is kind. Dave is nice. Dave is round. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is round. Gary is young. Kind things are furry. Round, furry things are quiet. If Gary is red and Gary is nice then Gary is kind. If Gary is furry then Gary is red. Kind things are nice. Red things are nice.
Dave is round.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2 OR ((triple1) -> rule5))] Dave is round.[(triple3)] Gary is furry.[(triple4 OR ((triple5) -> rule1) OR ((((triple8 triple6) -> rule3)) -> rule1) OR ((((triple8 ((triple8) -> rule6)) -> rule3)) -> rule1))] Gary is kind.[(triple5 OR ((triple8 triple6) -> rule3) OR ((triple8 ((triple8) -> rule6)) -> rule3) OR ((((triple4) -> rule4) triple6) -> rule3) OR ((((triple4) -> rule4) ((triple8) -> rule6)) -> rule3) OR ((triple8 ((((triple4) -> rule4)) -> rule6)) -> rule3) OR ((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule6)) -> rule3))] Gary is nice.[(triple6 OR ((triple5) -> rule5) OR ((triple8) -> rule6) OR ((((triple4) -> rule4)) -> rule6) OR ((((((triple5) -> rule1)) -> rule4)) -> rule6))] Gary is quiet.[(triple7 OR ((triple9 triple4) -> rule2) OR ((triple9 ((triple5) -> rule1)) -> rule2) OR ((triple9 ((((triple8 triple6) -> rule3)) -> rule1)) -> rule2) OR ((triple9 ((((triple8 ((triple8) -> rule6)) -> rule3)) -> rule1)) -> rule2))] Gary is red.[(triple8 OR ((triple4) -> rule4) OR ((((triple5) -> rule1)) -> rule4))] Gary is round.[(triple9)] Gary is young.[(triple10)] @1: Dave is furry.[(((triple1) -> rule1))] @2: Dave is quiet.[(((triple3 ((triple1) -> rule1)) -> rule2))]