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