Bob is big. Bob is not quiet. Bob is smart. Erin is cold. Erin is kind. Erin is quiet. Erin is red. Cold things are big. If Bob is not quiet then Bob is cold. If Bob is quiet then Bob is cold. If Bob is cold then Bob is furry. If something is smart and furry then it is not kind. If something is cold and not kind then it is red.
Erin is not big.
@0: Bob is big.[(triple1 OR ((((triple2) -> rule2)) -> rule1))] Bob is not quiet.[(triple2)] Bob is smart.[(triple3)] Erin is cold.[(triple4)] Erin is kind.[(triple5)] Erin is quiet.[(triple6)] Erin is red.[(triple7)] @1: Bob is cold.[(((triple2) -> rule2))] Erin is big.[(((triple4) -> rule1))] @2: Bob is furry.[(((((triple2) -> rule2)) -> rule4))] @3: Bob is not kind.[(((triple3 ((((triple2) -> rule2)) -> rule4)) -> rule5))] @4: Bob is red.[(((((triple2) -> rule2) ((triple3 ((((triple2) -> rule2)) -> rule4)) -> rule5)) -> rule6))]