Dave is blue. Dave is green. Dave is kind. Dave is smart. Erin is blue. Erin is green. Fiona is green. Fiona is quiet. Harry is cold. Harry is not green. If Harry is smart and Harry is blue then Harry is big. Big people are smart. Blue people are kind. If Fiona is smart then Fiona is kind. All quiet people are big. If someone is quiet and not big then they are not cold. If someone is green and not blue then they are cold. Green, smart people are cold.
Erin is not quiet.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3 OR ((triple1) -> rule3))] Dave is smart.[(triple4)] Erin is blue.[(triple5)] Erin is green.[(triple6)] Fiona is green.[(triple7)] Fiona is quiet.[(triple8)] Harry is cold.[(triple9)] Harry is not green.[(triple10)] @1: Dave is cold.[(((triple2 triple4) -> rule8))] Erin is kind.[(((triple5) -> rule3))] Fiona is big.[(((triple8) -> rule5))] @2: Fiona is smart.[(((((triple8) -> rule5)) -> rule2))] @3: Fiona is cold.[(((triple7 ((((triple8) -> rule5)) -> rule2)) -> rule8))] Fiona is kind.[(((((((triple8) -> rule5)) -> rule2)) -> rule4))]