Bob is big. Bob is green. Bob is kind. Erin is big. Erin is green. Erin is nice. Gary is not quiet. If Gary is nice then Gary is cold. Young things are quiet. If something is kind and green then it is quiet. All quiet things are big. If something is green then it is kind. If something is nice and not kind then it is not cold. If something is quiet and not green then it is not cold. All quiet things are cold.
Erin is kind.
@0: Bob is big.[(triple1 OR ((((triple3 triple2) -> rule3)) -> rule4) OR ((((((triple2) -> rule5) triple2) -> rule3)) -> rule4))] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple2) -> rule5))] Erin is big.[(triple4 OR ((((((triple5) -> rule5) triple5) -> rule3)) -> rule4))] Erin is green.[(triple5)] Erin is nice.[(triple6)] Gary is not quiet.[(triple7)] @1: Bob is quiet.[(((triple3 triple2) -> rule3) OR ((((triple2) -> rule5) triple2) -> rule3))] Erin is kind.[(((triple5) -> rule5))] @2: Bob is cold.[(((((triple3 triple2) -> rule3)) -> rule8) OR ((((((triple2) -> rule5) triple2) -> rule3)) -> rule8))] Erin is quiet.[(((((triple5) -> rule5) triple5) -> rule3))] @3: Erin is cold.[(((((((triple5) -> rule5) triple5) -> rule3)) -> rule8))]