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