Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is rough. Anne is round. If someone is round and cold then they are furry. Cold people are kind. Blue, cold people are round. If someone is furry then they are round. Kind people are round. All furry people are kind.
Anne is green.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple7 triple2) -> rule1) OR ((((triple5) -> rule5) triple2) -> rule1) OR ((((triple1 triple2) -> rule3) triple2) -> rule1) OR ((((((triple2) -> rule2)) -> rule5) triple2) -> rule1))] Anne is green.[(triple4)] Anne is kind.[(triple5 OR ((triple2) -> rule2) OR ((triple3) -> rule6) OR ((((triple7 triple2) -> rule1)) -> rule6) OR ((((((triple1 triple2) -> rule3) triple2) -> rule1)) -> rule6))] Anne is rough.[(triple6)] Anne is round.[(triple7 OR ((triple3) -> rule4) OR ((triple5) -> rule5) OR ((triple1 triple2) -> rule3) OR ((((triple2) -> rule2)) -> rule5) OR ((((triple3) -> rule6)) -> rule5))]