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