Dave is big. Dave is quiet. Dave is smart. Fiona is furry. Fiona is kind. Fiona is red. Fiona is white. If Fiona is white then Fiona is smart. If something is smart then it is furry. If Dave is furry and Dave is smart then Dave is white. If Dave is red and Dave is kind then Dave is big. If something is smart then it is big. If Fiona is kind then Fiona is red.
Dave is kind.
@0: Dave is big.[(triple1 OR ((triple3) -> rule5))] Dave is quiet.[(triple2)] Dave is smart.[(triple3)] Fiona is furry.[(triple4 OR ((((triple7) -> rule1)) -> rule2))] Fiona is kind.[(triple5)] Fiona is red.[(triple6 OR ((triple5) -> rule6))] Fiona is white.[(triple7)] @1: Dave is furry.[(((triple3) -> rule2))] Fiona is smart.[(((triple7) -> rule1))] @2: Dave is white.[(((((triple3) -> rule2) triple3) -> rule3))] Fiona is big.[(((((triple7) -> rule1)) -> rule5))]