Dave is big. Dave is green. Dave is white. Gary is big. Gary is furry. Gary is round. Gary is white. If someone is white then they are nice. Round, big people are white. If Dave is big and Dave is nice then Dave is furry. All round, furry people are green. All cold, round people are green. All big, round people are furry. Round, cold people are furry. If someone is nice and furry then they are cold.
Gary is round.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is white.[(triple3)] Gary is big.[(triple4)] Gary is furry.[(triple5 OR ((triple4 triple6) -> rule6))] Gary is round.[(triple6)] Gary is white.[(triple7 OR ((triple6 triple4) -> rule2))] @1: Dave is nice.[(((triple3) -> rule1))] Gary is green.[(((triple6 triple5) -> rule4) OR ((triple6 ((triple4 triple6) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) triple5) -> rule8) triple6) -> rule5) OR ((((((triple7) -> rule1) ((triple4 triple6) -> rule6)) -> rule8) triple6) -> rule5) OR ((((((((triple6 triple4) -> rule2)) -> rule1) triple5) -> rule8) triple6) -> rule5) OR ((((((((triple6 triple4) -> rule2)) -> rule1) ((triple4 triple6) -> rule6)) -> rule8) triple6) -> rule5))] Gary is nice.[(((triple7) -> rule1) OR ((((triple6 triple4) -> rule2)) -> rule1))] @2: Dave is furry.[(((triple1 ((triple3) -> rule1)) -> rule3))] Gary is cold.[(((((triple7) -> rule1) triple5) -> rule8) OR ((((triple7) -> rule1) ((triple4 triple6) -> rule6)) -> rule8) OR ((((((triple6 triple4) -> rule2)) -> rule1) triple5) -> rule8) OR ((((((triple6 triple4) -> rule2)) -> rule1) ((triple4 triple6) -> rule6)) -> rule8))] @3: Dave is cold.[(((((triple3) -> rule1) ((triple1 ((triple3) -> rule1)) -> rule3)) -> rule8))]