Bob is not kind. Dave is big. Dave is green. Erin is kind. Harry is big. Harry is green. Harry is kind. If something is white and not cold then it is green. White things are green. All quiet, white things are big. All quiet things are big. If something is young then it is quiet. Big things are white. All kind things are young.
Bob is not cold.
@0: Bob is not kind.[(triple1)] Dave is big.[(triple2)] Dave is green.[(triple3 OR ((((triple2) -> rule6)) -> rule2))] Erin is kind.[(triple4)] Harry is big.[(triple5 OR ((((((triple7) -> rule7)) -> rule5)) -> rule4))] Harry is green.[(triple6 OR ((((triple5) -> rule6)) -> rule2) OR ((((((((((triple7) -> rule7)) -> rule5)) -> rule4)) -> rule6)) -> rule2))] Harry is kind.[(triple7)] @1: Dave is white.[(((triple2) -> rule6))] Erin is young.[(((triple4) -> rule7))] Harry is white.[(((triple5) -> rule6) OR ((((((((triple7) -> rule7)) -> rule5)) -> rule4)) -> rule6))] Harry is young.[(((triple7) -> rule7))] @2: Erin is quiet.[(((((triple4) -> rule7)) -> rule5))] Harry is quiet.[(((((triple7) -> rule7)) -> rule5))] @3: Erin is big.[(((((((triple4) -> rule7)) -> rule5)) -> rule4))] @4: Erin is white.[(((((((((triple4) -> rule7)) -> rule5)) -> rule4)) -> rule6))] @5: Erin is green.[(((((((((((triple4) -> rule7)) -> rule5)) -> rule4)) -> rule6)) -> rule2))]