Bob is green. Bob is kind. Bob is quiet. Bob is smart. Bob is white. Erin is green. Erin is kind. Erin is quiet. Erin is red. Fiona is green. Fiona is quiet. Harry is green. Harry is quiet. Harry is smart. Harry is white. If someone is white and green then they are red. All red people are kind. All smart, quiet people are red.
Fiona is not smart.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2 OR ((((triple4 triple3) -> rule3)) -> rule2) OR ((((triple5 triple1) -> rule1)) -> rule2))] Bob is quiet.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Erin is green.[(triple6)] Erin is kind.[(triple7 OR ((triple9) -> rule2))] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Fiona is green.[(triple10)] Fiona is quiet.[(triple11)] Harry is green.[(triple12)] Harry is quiet.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Bob is red.[(((triple4 triple3) -> rule3) OR ((triple5 triple1) -> rule1))] Harry is red.[(((triple14 triple13) -> rule3) OR ((triple15 triple12) -> rule1))] @2: Harry is kind.[(((((triple14 triple13) -> rule3)) -> rule2) OR ((((triple15 triple12) -> rule1)) -> rule2))]