Bob is kind. Bob is red. Bob is young. Erin is red. Erin is young. Gary is red. Gary is young. Harry is nice. Harry is red. Harry is young. If something is quiet and kind then it is nice. All nice things are big. Cold, big things are kind. If Gary is young then Gary is nice. If something is quiet then it is cold. All red things are quiet.
Bob is not nice.
@0: Bob is kind.[(triple1)] Bob is red.[(triple2)] Bob is young.[(triple3)] Erin is red.[(triple4)] Erin is young.[(triple5)] Gary is red.[(triple6)] Gary is young.[(triple7)] Harry is nice.[(triple8)] Harry is red.[(triple9)] Harry is young.[(triple10)] @1: Bob is quiet.[(((triple2) -> rule6))] Erin is quiet.[(((triple4) -> rule6))] Gary is nice.[(((triple7) -> rule4))] Gary is quiet.[(((triple6) -> rule6))] Harry is big.[(((triple8) -> rule2))] Harry is quiet.[(((triple9) -> rule6))] @2: Bob is cold.[(((((triple2) -> rule6)) -> rule5))] Bob is nice.[(((((triple2) -> rule6) triple1) -> rule1))] Erin is cold.[(((((triple4) -> rule6)) -> rule5))] Gary is big.[(((((triple7) -> rule4)) -> rule2))] Gary is cold.[(((((triple6) -> rule6)) -> rule5))] Harry is cold.[(((((triple9) -> rule6)) -> rule5))] @3: Bob is big.[(((((((triple2) -> rule6) triple1) -> rule1)) -> rule2))] Gary is kind.[(((((((triple6) -> rule6)) -> rule5) ((((triple7) -> rule4)) -> rule2)) -> rule3))] Harry is kind.[(((((((triple9) -> rule6)) -> rule5) ((triple8) -> rule2)) -> rule3))]