Bob is not cold. Bob is furry. Bob is round. Charlie is big. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is not white. Erin is big. Gary is big. Gary is quiet. If someone is red and cold then they are furry. All furry people are round. If Charlie is furry then Charlie is round. Big people are red. Round people are quiet. If someone is red then they are cold.
Gary is furry.
@0: Bob is furry.[(triple2)] Bob is not cold.[(triple1)] Bob is round.[(triple3 OR ((triple2) -> rule2))] Charlie is big.[(triple4)] Charlie is furry.[(triple5 OR ((triple7 ((triple7) -> rule6)) -> rule1) OR ((((triple4) -> rule4) ((triple7) -> rule6)) -> rule1) OR ((triple7 ((((triple4) -> rule4)) -> rule6)) -> rule1) OR ((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule6)) -> rule1))] Charlie is not white.[(triple8)] Charlie is quiet.[(triple6 OR ((((triple5) -> rule2)) -> rule5) OR ((((triple5) -> rule3)) -> rule5) OR ((((((triple7 ((triple7) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((((triple7 ((triple7) -> rule6)) -> rule1)) -> rule3)) -> rule5) OR ((((((((triple4) -> rule4) ((triple7) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((((((triple4) -> rule4) ((triple7) -> rule6)) -> rule1)) -> rule3)) -> rule5) OR ((((((triple7 ((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((((triple7 ((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule3)) -> rule5) OR ((((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule3)) -> rule5))] Charlie is red.[(triple7 OR ((triple4) -> rule4))] Erin is big.[(triple9)] Gary is big.[(triple10)] Gary is quiet.[(triple11 OR ((((((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule6)) -> rule1)) -> rule2)) -> rule5))] @1: Bob is quiet.[(((triple3) -> rule5) OR ((((triple2) -> rule2)) -> rule5))] Charlie is cold.[(((triple7) -> rule6) OR ((((triple4) -> rule4)) -> rule6))] Charlie is round.[(((triple5) -> rule2) OR ((triple5) -> rule3) OR ((((triple7 ((triple7) -> rule6)) -> rule1)) -> rule2) OR ((((triple7 ((triple7) -> rule6)) -> rule1)) -> rule3) OR ((((((triple4) -> rule4) ((triple7) -> rule6)) -> rule1)) -> rule2) OR ((((((triple4) -> rule4) ((triple7) -> rule6)) -> rule1)) -> rule3) OR ((((triple7 ((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((triple7 ((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule3) OR ((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule3))] Erin is red.[(((triple9) -> rule4))] Gary is red.[(((triple10) -> rule4))] @2: Erin is cold.[(((((triple9) -> rule4)) -> rule6))] Gary is cold.[(((((triple10) -> rule4)) -> rule6))] @3: Erin is furry.[(((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule6)) -> rule1))] Gary is furry.[(((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule6)) -> rule1))] @4: Erin is round.[(((((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule6)) -> rule1)) -> rule2))] Gary is round.[(((((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule6)) -> rule1)) -> rule2))] @5: Erin is quiet.[(((((((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule6)) -> rule1)) -> rule2)) -> rule5))]