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