Fiona is cold. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is young. Harry is kind. Harry is smart. If Harry is kind and Harry is big then Harry is nice. All kind things are smart. All smart, kind things are young. Smart things are rough. All young things are nice. Nice, young things are cold.
Fiona is not big.
@0: Fiona is cold.[(triple1 OR ((((triple5) -> rule5) triple5) -> rule6) OR ((((triple5) -> rule5) ((triple4 triple2) -> rule3)) -> rule6) OR ((((((triple4 triple2) -> rule3)) -> rule5) triple5) -> rule6) OR ((((triple5) -> rule5) ((((triple2) -> rule2) triple2) -> rule3)) -> rule6) OR ((((((triple4 triple2) -> rule3)) -> rule5) ((triple4 triple2) -> rule3)) -> rule6) OR ((((((triple4 triple2) -> rule3)) -> rule5) ((((triple2) -> rule2) triple2) -> rule3)) -> rule6) OR ((((((((triple2) -> rule2) triple2) -> rule3)) -> rule5) triple5) -> rule6) OR ((((((((triple2) -> rule2) triple2) -> rule3)) -> rule5) ((triple4 triple2) -> rule3)) -> rule6) OR ((((((((triple2) -> rule2) triple2) -> rule3)) -> rule5) ((((triple2) -> rule2) triple2) -> rule3)) -> rule6))] Fiona is kind.[(triple2)] Fiona is rough.[(triple3 OR ((triple4) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] Fiona is smart.[(triple4 OR ((triple2) -> rule2))] Fiona is young.[(triple5 OR ((triple4 triple2) -> rule3) OR ((((triple2) -> rule2) triple2) -> rule3))] Harry is kind.[(triple6)] Harry is smart.[(triple7 OR ((triple6) -> rule2))] @1: Fiona is nice.[(((triple5) -> rule5) OR ((((triple4 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule2) triple2) -> rule3)) -> rule5))] Harry is rough.[(((triple7) -> rule4) OR ((((triple6) -> rule2)) -> rule4))] Harry is young.[(((triple7 triple6) -> rule3) OR ((((triple6) -> rule2) triple6) -> rule3))] @2: Harry is nice.[(((((triple7 triple6) -> rule3)) -> rule5) OR ((((((triple6) -> rule2) triple6) -> rule3)) -> rule5))] @3: Harry is cold.[(((((((triple7 triple6) -> rule3)) -> rule5) ((triple7 triple6) -> rule3)) -> rule6) OR ((((((triple7 triple6) -> rule3)) -> rule5) ((((triple6) -> rule2) triple6) -> rule3)) -> rule6) OR ((((((((triple6) -> rule2) triple6) -> rule3)) -> rule5) ((triple7 triple6) -> rule3)) -> rule6) OR ((((((((triple6) -> rule2) triple6) -> rule3)) -> rule5) ((((triple6) -> rule2) triple6) -> rule3)) -> rule6))]