Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. Harry is green. Harry is kind. Harry is red. Harry is rough. Harry is young. All quiet things are rough. If Fiona is kind and Fiona is quiet then Fiona is nice. All green things are nice. All nice things are young. All quiet, young things are kind. All quiet things are rough. All rough, kind things are red. If something is nice and quiet then it is red.
Harry is not green.
@0: Fiona is green.[(triple1)] Fiona is kind.[(triple2 OR ((triple4 triple7) -> rule5) OR ((triple4 ((triple3) -> rule4)) -> rule5) OR ((triple4 ((((triple1) -> rule3)) -> rule4)) -> rule5))] Fiona is nice.[(triple3 OR ((triple1) -> rule3) OR ((triple2 triple4) -> rule2) OR ((((triple4 triple7) -> rule5) triple4) -> rule2))] Fiona is quiet.[(triple4)] Fiona is red.[(triple5 OR ((triple3 triple4) -> rule8) OR ((triple6 triple2) -> rule7) OR ((triple6 ((triple4 triple7) -> rule5)) -> rule7) OR ((((triple1) -> rule3) triple4) -> rule8) OR ((((triple4) -> rule1) triple2) -> rule7) OR ((((triple4) -> rule6) triple2) -> rule7) OR ((((triple2 triple4) -> rule2) triple4) -> rule8) OR ((((triple4) -> rule1) ((triple4 triple7) -> rule5)) -> rule7) OR ((((triple4) -> rule6) ((triple4 triple7) -> rule5)) -> rule7) OR ((triple6 ((triple4 ((triple3) -> rule4)) -> rule5)) -> rule7) OR ((((((triple4 triple7) -> rule5) triple4) -> rule2) triple4) -> rule8) OR ((((triple4) -> rule1) ((triple4 ((triple3) -> rule4)) -> rule5)) -> rule7) OR ((((triple4) -> rule6) ((triple4 ((triple3) -> rule4)) -> rule5)) -> rule7) OR ((triple6 ((triple4 ((((triple1) -> rule3)) -> rule4)) -> rule5)) -> rule7) OR ((((triple4) -> rule1) ((triple4 ((((triple1) -> rule3)) -> rule4)) -> rule5)) -> rule7) OR ((((triple4) -> rule6) ((triple4 ((((triple1) -> rule3)) -> rule4)) -> rule5)) -> rule7))] Fiona is rough.[(triple6 OR ((triple4) -> rule1) OR ((triple4) -> rule6))] Fiona is young.[(triple7 OR ((triple3) -> rule4) OR ((((triple1) -> rule3)) -> rule4) OR ((((triple2 triple4) -> rule2)) -> rule4))] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is red.[(triple10 OR ((triple11 triple9) -> rule7))] Harry is rough.[(triple11)] Harry is young.[(triple12 OR ((((triple8) -> rule3)) -> rule4))] @1: Harry is nice.[(((triple8) -> rule3))]