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