Anne is round. Bob is big. Bob is cold. Bob is kind. Bob is nice. Bob is red. Bob is round. Gary is green. Gary is kind. Gary is round. If someone is nice then they are round. If someone is kind and green then they are nice. If Bob is nice then Bob is cold. All big, nice people are cold. If someone is nice then they are green. Cold, big people are round.
Bob is not big.
@0: Anne is round.[(triple1)] Bob is big.[(triple2)] Bob is cold.[(triple3 OR ((triple5) -> rule3) OR ((triple2 triple5) -> rule4))] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is red.[(triple6)] Bob is round.[(triple7 OR ((triple5) -> rule1) OR ((triple3 triple2) -> rule6) OR ((((triple5) -> rule3) triple2) -> rule6) OR ((((triple2 triple5) -> rule4) triple2) -> rule6))] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is round.[(triple10 OR ((((triple9 triple8) -> rule2)) -> rule1))] @1: Bob is green.[(((triple5) -> rule5))] Gary is nice.[(((triple9 triple8) -> rule2))]