Dave is furry. Dave is nice. Dave is red. Dave is round. Dave is smart. Dave is young. Gary is big. Gary is nice. Gary is round. Gary is young. If someone is big then they are smart. If someone is round then they are nice. Smart, round people are red. All big, furry people are red. Smart people are young. Big, red people are smart. If Gary is red then Gary is round. If someone is young and big then they are furry.
Dave is red.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2 OR ((triple4) -> rule2))] Dave is red.[(triple3 OR ((triple5 triple4) -> rule3))] Dave is round.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6 OR ((triple5) -> rule5))] Gary is big.[(triple7)] Gary is nice.[(triple8 OR ((triple9) -> rule2) OR ((((((triple7 ((triple10 triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2) OR ((((((triple7 ((((((triple7) -> rule1)) -> rule5) triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2))] Gary is round.[(triple9 OR ((((triple7 ((triple10 triple7) -> rule8)) -> rule4)) -> rule7) OR ((((triple7 ((((((triple7) -> rule1)) -> rule5) triple7) -> rule8)) -> rule4)) -> rule7))] Gary is young.[(triple10 OR ((((triple7) -> rule1)) -> rule5))] @1: Gary is furry.[(((triple10 triple7) -> rule8) OR ((((((triple7) -> rule1)) -> rule5) triple7) -> rule8))] Gary is smart.[(((triple7) -> rule1) OR ((triple7 ((triple7 ((triple10 triple7) -> rule8)) -> rule4)) -> rule6))] @2: Gary is red.[(((triple7 ((triple10 triple7) -> rule8)) -> rule4) OR ((((triple7) -> rule1) triple9) -> rule3) OR ((triple7 ((((((triple7) -> rule1)) -> rule5) triple7) -> rule8)) -> rule4))]