Anne is kind. Anne is nice. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. All rough, cold things are blue. All furry, rough things are kind. All cold, nice things are big. All furry, cold things are rough. If something is big and nice then it is furry. If something is kind and big then it is rough. If Anne is blue and Anne is furry then Anne is cold. Cold things are big.
Fiona is blue.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Fiona is big.[(triple3 OR ((triple5) -> rule8))] Fiona is blue.[(triple4 OR ((((triple6 triple5) -> rule4) triple5) -> rule1) OR ((((triple7 triple3) -> rule6) triple5) -> rule1) OR ((((triple7 ((triple5) -> rule8)) -> rule6) triple5) -> rule1))] Fiona is cold.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7 OR ((triple6 ((triple6 triple5) -> rule4)) -> rule2))] @1: Fiona is rough.[(((triple6 triple5) -> rule4) OR ((triple7 triple3) -> rule6) OR ((triple7 ((triple5) -> rule8)) -> rule6))]