Bob is rough. Dave is cold. Round people are big. If someone is cold and round then they are green. All blue people are rough. If someone is round then they are nice. If someone is big and round then they are cold. If someone is rough then they are round. Nice, big people are green. If Bob is green and Bob is rough then Bob is nice.
Bob is not big.
@0: Bob is rough.[(triple1)] Dave is cold.[(triple2)] @1: Bob is round.[(((triple1) -> rule6))] @2: Bob is big.[(((((triple1) -> rule6)) -> rule1))] Bob is nice.[(((((triple1) -> rule6)) -> rule4) OR ((((((((((triple1) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule5) ((triple1) -> rule6)) -> rule2) triple1) -> rule8))] @3: Bob is cold.[(((((((triple1) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule5))] Bob is green.[(((((((triple1) -> rule6)) -> rule4) ((((triple1) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule5) ((triple1) -> rule6)) -> rule2))]