Anne is green. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is young. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is young. Harry is kind. Harry is young. If someone is green then they are quiet. If someone is red and kind then they are young. If Harry is young then Harry is green. Quiet people are smart. All green, nice people are red. All nice people are kind. If Fiona is red then Fiona is quiet. Red people are green.
Harry is young.
@0: Anne is green.[(triple1)] Bob is kind.[(triple2 OR ((triple3) -> rule6))] Bob is nice.[(triple3)] Bob is quiet.[(triple4 OR ((((triple5) -> rule8)) -> rule1))] Bob is red.[(triple5)] Bob is young.[(triple6 OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple3) -> rule6)) -> rule2))] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9 OR ((triple7) -> rule1))] Fiona is young.[(triple10)] Harry is kind.[(triple11)] Harry is young.[(triple12)] @1: Anne is quiet.[(((triple1) -> rule1))] Bob is green.[(((triple5) -> rule8))] Bob is smart.[(((triple4) -> rule4) OR ((((((triple5) -> rule8)) -> rule1)) -> rule4))] Fiona is smart.[(((triple9) -> rule4) OR ((((triple7) -> rule1)) -> rule4))] Harry is green.[(((triple12) -> rule3))] @2: Anne is smart.[(((((triple1) -> rule1)) -> rule4))] Harry is quiet.[(((((triple12) -> rule3)) -> rule1))] @3: Harry is smart.[(((((((triple12) -> rule3)) -> rule1)) -> rule4))]