Bob is big. Bob is cold. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Red things are nice. All rough, nice things are cold. If something is big then it is rough. Red things are quiet. All rough, red things are quiet. If something is nice then it is kind.
Bob is red.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple7 triple4) -> rule2) OR ((triple7 ((triple6) -> rule1)) -> rule2) OR ((((triple1) -> rule3) triple4) -> rule2) OR ((((triple1) -> rule3) ((triple6) -> rule1)) -> rule2))] Bob is kind.[(triple3 OR ((triple4) -> rule6) OR ((((triple6) -> rule1)) -> rule6))] Bob is nice.[(triple4 OR ((triple6) -> rule1))] Bob is quiet.[(triple5 OR ((triple6) -> rule4) OR ((triple7 triple6) -> rule5) OR ((((triple1) -> rule3) triple6) -> rule5))] Bob is red.[(triple6)] Bob is rough.[(triple7 OR ((triple1) -> rule3))]