Anne is green. Anne is rough. Anne is young. Dave is cold. Dave is nice. Dave is rough. Fiona is kind. Harry is green. Harry is kind. Harry is quiet. Harry is young. Kind, quiet things are green. If Dave is kind then Dave is quiet. All kind things are young. All rough, kind things are quiet. If Anne is cold and Anne is kind then Anne is green. If something is young then it is rough. If something is green and quiet then it is cold.
Fiona is not rough.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2 OR ((triple3) -> rule6))] Anne is young.[(triple3)] Dave is cold.[(triple4)] Dave is nice.[(triple5)] Dave is rough.[(triple6)] Fiona is kind.[(triple7)] Harry is green.[(triple8 OR ((triple9 triple10) -> rule1) OR ((triple9 ((((triple11) -> rule6) triple9) -> rule4)) -> rule1) OR ((triple9 ((((((triple9) -> rule3)) -> rule6) triple9) -> rule4)) -> rule1))] Harry is kind.[(triple9)] Harry is quiet.[(triple10 OR ((((triple11) -> rule6) triple9) -> rule4) OR ((((((triple9) -> rule3)) -> rule6) triple9) -> rule4))] Harry is young.[(triple11 OR ((triple9) -> rule3))] @1: Fiona is young.[(((triple7) -> rule3))] Harry is cold.[(((triple8 triple10) -> rule7) OR ((((triple9 triple10) -> rule1) triple10) -> rule7) OR ((triple8 ((((triple11) -> rule6) triple9) -> rule4)) -> rule7) OR ((((triple9 triple10) -> rule1) ((((triple11) -> rule6) triple9) -> rule4)) -> rule7) OR ((triple8 ((((((triple9) -> rule3)) -> rule6) triple9) -> rule4)) -> rule7) OR ((((triple9 ((((triple11) -> rule6) triple9) -> rule4)) -> rule1) triple10) -> rule7) OR ((((triple9 triple10) -> rule1) ((((((triple9) -> rule3)) -> rule6) triple9) -> rule4)) -> rule7) OR ((((triple9 ((((triple11) -> rule6) triple9) -> rule4)) -> rule1) ((((triple11) -> rule6) triple9) -> rule4)) -> rule7) OR ((((triple9 ((((triple11) -> rule6) triple9) -> rule4)) -> rule1) ((((((triple9) -> rule3)) -> rule6) triple9) -> rule4)) -> rule7) OR ((((triple9 ((((((triple9) -> rule3)) -> rule6) triple9) -> rule4)) -> rule1) triple10) -> rule7) OR ((((triple9 ((((((triple9) -> rule3)) -> rule6) triple9) -> rule4)) -> rule1) ((((triple11) -> rule6) triple9) -> rule4)) -> rule7) OR ((((triple9 ((((((triple9) -> rule3)) -> rule6) triple9) -> rule4)) -> rule1) ((((((triple9) -> rule3)) -> rule6) triple9) -> rule4)) -> rule7))] Harry is rough.[(((triple11) -> rule6) OR ((((triple9) -> rule3)) -> rule6))] @2: Fiona is rough.[(((((triple7) -> rule3)) -> rule6))] @3: Fiona is quiet.[(((((((triple7) -> rule3)) -> rule6) triple7) -> rule4))] @4: Fiona is green.[(((triple7 ((((((triple7) -> rule3)) -> rule6) triple7) -> rule4)) -> rule1))] @5: Fiona is cold.[(((((triple7 ((((((triple7) -> rule3)) -> rule6) triple7) -> rule4)) -> rule1) ((((((triple7) -> rule3)) -> rule6) triple7) -> rule4)) -> rule7))]