Dave is red. Erin is quiet. Fiona is white. Harry is big. Harry is not green. Harry is quiet. Harry is red. Quiet, red people are smart. If someone is quiet then they are smart. If Dave is red then Dave is big. If Dave is smart and Dave is white then Dave is big. If Fiona is white and Fiona is red then Fiona is rough. If someone is white then they are quiet. Rough people are green. All smart people are red.
Dave is not quiet.
@0: Dave is red.[(triple1)] Erin is quiet.[(triple2)] Fiona is white.[(triple3)] Harry is big.[(triple4)] Harry is not green.[(triple5)] Harry is quiet.[(triple6)] Harry is red.[(triple7 OR ((((triple6) -> rule2)) -> rule8))] @1: Dave is big.[(((triple1) -> rule3))] Erin is smart.[(((triple2) -> rule2))] Fiona is quiet.[(((triple3) -> rule6))] Harry is smart.[(((triple6) -> rule2) OR ((triple6 triple7) -> rule1))] @2: Erin is red.[(((((triple2) -> rule2)) -> rule8))] Fiona is smart.[(((((triple3) -> rule6)) -> rule2))] @3: Fiona is red.[(((((((triple3) -> rule6)) -> rule2)) -> rule8))] @4: Fiona is rough.[(((triple3 ((((((triple3) -> rule6)) -> rule2)) -> rule8)) -> rule5))] @5: Fiona is green.[(((((triple3 ((((((triple3) -> rule6)) -> rule2)) -> rule8)) -> rule5)) -> rule7))]