Dave is furry. Erin is quiet. Fiona is red. Gary is furry. If something is rough then it is round. If Gary is furry then Gary is big. If something is rough then it is nice. All nice, big things are furry. All furry things are red. All big, furry things are nice. Red things are big. All nice, big things are rough.
Gary is furry.
@0: Dave is furry.[(triple1)] Erin is quiet.[(triple2)] Fiona is red.[(triple3)] Gary is furry.[(triple4)] @1: Dave is red.[(((triple1) -> rule5))] Fiona is big.[(((triple3) -> rule7))] Gary is big.[(((triple4) -> rule2) OR ((((triple4) -> rule5)) -> rule7))] Gary is red.[(((triple4) -> rule5))] @2: Dave is big.[(((((triple1) -> rule5)) -> rule7))] Gary is nice.[(((((triple4) -> rule2) triple4) -> rule6) OR ((((((triple4) -> rule5)) -> rule7) triple4) -> rule6))] @3: Dave is nice.[(((((((triple1) -> rule5)) -> rule7) triple1) -> rule6))] Gary is rough.[(((((((triple4) -> rule2) triple4) -> rule6) ((triple4) -> rule2)) -> rule8) OR ((((((triple4) -> rule2) triple4) -> rule6) ((((triple4) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple4) -> rule5)) -> rule7) triple4) -> rule6) ((triple4) -> rule2)) -> rule8) OR ((((((((triple4) -> rule5)) -> rule7) triple4) -> rule6) ((((triple4) -> rule5)) -> rule7)) -> rule8))] @4: Dave is rough.[(((((((((triple1) -> rule5)) -> rule7) triple1) -> rule6) ((((triple1) -> rule5)) -> rule7)) -> rule8))] Gary is round.[(((((((((triple4) -> rule2) triple4) -> rule6) ((triple4) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple4) -> rule2) triple4) -> rule6) ((((triple4) -> rule5)) -> rule7)) -> rule8)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule7) triple4) -> rule6) ((triple4) -> rule2)) -> rule8)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule7) triple4) -> rule6) ((((triple4) -> rule5)) -> rule7)) -> rule8)) -> rule1))] @5: Dave is round.[(((((((((((triple1) -> rule5)) -> rule7) triple1) -> rule6) ((((triple1) -> rule5)) -> rule7)) -> rule8)) -> rule1))]