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