Anne is big. Anne is cold. Anne is round. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is round. Erin is big. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is round. Big things are quiet. If something is quiet and big then it is kind. If something is cold then it is round. Nice things are cold. All cold things are kind. If something is kind then it is nice. If something is nice and furry then it is quiet. All kind things are nice.
Erin is not quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((((((((triple1) -> rule1) triple1) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple1) -> rule1) triple1) -> rule2)) -> rule8)) -> rule4))] Anne is round.[(triple3 OR ((triple2) -> rule3) OR ((((((((((triple1) -> rule1) triple1) -> rule2)) -> rule6)) -> rule4)) -> rule3) OR ((((((((((triple1) -> rule1) triple1) -> rule2)) -> rule8)) -> rule4)) -> rule3))] Charlie is cold.[(triple4 OR ((triple7) -> rule4) OR ((((triple6) -> rule6)) -> rule4) OR ((((triple6) -> rule8)) -> rule4))] Charlie is furry.[(triple5)] Charlie is kind.[(triple6 OR ((triple4) -> rule5) OR ((((triple7) -> rule4)) -> rule5))] Charlie is nice.[(triple7 OR ((triple6) -> rule6) OR ((triple6) -> rule8) OR ((((triple4) -> rule5)) -> rule6) OR ((((triple4) -> rule5)) -> rule8))] Charlie is round.[(triple8 OR ((triple4) -> rule3) OR ((((triple7) -> rule4)) -> rule3) OR ((((((triple6) -> rule6)) -> rule4)) -> rule3) OR ((((((triple6) -> rule8)) -> rule4)) -> rule3))] Erin is big.[(triple9)] Gary is furry.[(triple10)] Gary is kind.[(triple11 OR ((((triple12) -> rule4)) -> rule5))] Gary is nice.[(triple12 OR ((triple11) -> rule6) OR ((triple11) -> rule8))] Gary is quiet.[(triple13 OR ((triple12 triple10) -> rule7) OR ((((triple11) -> rule6) triple10) -> rule7) OR ((((triple11) -> rule8) triple10) -> rule7))] Gary is round.[(triple14 OR ((((triple12) -> rule4)) -> rule3) OR ((((((triple11) -> rule6)) -> rule4)) -> rule3) OR ((((((triple11) -> rule8)) -> rule4)) -> rule3))] @1: Anne is kind.[(((triple2) -> rule5) OR ((((triple1) -> rule1) triple1) -> rule2))] Anne is quiet.[(((triple1) -> rule1))] Charlie is quiet.[(((triple7 triple5) -> rule7) OR ((((triple6) -> rule6) triple5) -> rule7) OR ((((triple6) -> rule8) triple5) -> rule7) OR ((((((triple4) -> rule5)) -> rule6) triple5) -> rule7) OR ((((((triple4) -> rule5)) -> rule8) triple5) -> rule7))] Erin is quiet.[(((triple9) -> rule1))] Gary is cold.[(((triple12) -> rule4) OR ((((triple11) -> rule6)) -> rule4) OR ((((triple11) -> rule8)) -> rule4))] @2: Anne is nice.[(((((triple2) -> rule5)) -> rule6) OR ((((triple2) -> rule5)) -> rule8) OR ((((((triple1) -> rule1) triple1) -> rule2)) -> rule6) OR ((((((triple1) -> rule1) triple1) -> rule2)) -> rule8))] Erin is kind.[(((((triple9) -> rule1) triple9) -> rule2))] @3: Erin is nice.[(((((((triple9) -> rule1) triple9) -> rule2)) -> rule6) OR ((((((triple9) -> rule1) triple9) -> rule2)) -> rule8))] @4: Erin is cold.[(((((((((triple9) -> rule1) triple9) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple9) -> rule1) triple9) -> rule2)) -> rule8)) -> rule4))] @5: Erin is round.[(((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule6)) -> rule4)) -> rule3) OR ((((((((((triple9) -> rule1) triple9) -> rule2)) -> rule8)) -> rule4)) -> rule3))]