Anne is big. Anne is kind. Anne is quiet. Anne is rough. Anne is white. Fiona is big. Gary is big. Gary is cold. Gary is kind. Harry is kind. If something is kind then it is big. If something is white and kind then it is rough. If Harry is quiet and Harry is cold then Harry is big. If something is quiet then it is big. If something is cold and rough then it is quiet. All kind things are young. If Harry is kind and Harry is cold then Harry is white. If something is young and kind then it is cold.
Fiona is white.
@0: Anne is big.[(triple1 OR ((triple2) -> rule1) OR ((triple3) -> rule4) OR ((((((((triple2) -> rule6) triple2) -> rule8) triple4) -> rule5)) -> rule4) OR ((((((((triple2) -> rule6) triple2) -> rule8) ((triple5 triple2) -> rule2)) -> rule5)) -> rule4))] Anne is kind.[(triple2)] Anne is quiet.[(triple3 OR ((((((triple2) -> rule6) triple2) -> rule8) triple4) -> rule5) OR ((((((triple2) -> rule6) triple2) -> rule8) ((triple5 triple2) -> rule2)) -> rule5))] Anne is rough.[(triple4 OR ((triple5 triple2) -> rule2))] Anne is white.[(triple5)] Fiona is big.[(triple6)] Gary is big.[(triple7 OR ((triple9) -> rule1))] Gary is cold.[(triple8 OR ((((triple9) -> rule6) triple9) -> rule8))] Gary is kind.[(triple9)] Harry is kind.[(triple10)] @1: Anne is young.[(((triple2) -> rule6))] Gary is young.[(((triple9) -> rule6))] Harry is big.[(((triple10) -> rule1) OR ((((((((triple10) -> rule6) triple10) -> rule8) ((((triple10 ((((triple10) -> rule6) triple10) -> rule8)) -> rule7) triple10) -> rule2)) -> rule5)) -> rule4) OR ((((((((triple10) -> rule6) triple10) -> rule8) ((((triple10 ((((triple10) -> rule6) triple10) -> rule8)) -> rule7) triple10) -> rule2)) -> rule5) ((((triple10) -> rule6) triple10) -> rule8)) -> rule3))] Harry is young.[(((triple10) -> rule6))] @2: Anne is cold.[(((((triple2) -> rule6) triple2) -> rule8))] Harry is cold.[(((((triple10) -> rule6) triple10) -> rule8))] @3: Harry is white.[(((triple10 ((((triple10) -> rule6) triple10) -> rule8)) -> rule7))] @4: Harry is rough.[(((((triple10 ((((triple10) -> rule6) triple10) -> rule8)) -> rule7) triple10) -> rule2))] @5: Harry is quiet.[(((((((triple10) -> rule6) triple10) -> rule8) ((((triple10 ((((triple10) -> rule6) triple10) -> rule8)) -> rule7) triple10) -> rule2)) -> rule5))]