Charlie is nice. Dave is big. Dave is nice. Dave is smart. Dave is white. Dave is young. Fiona is big. If Fiona is round then Fiona is young. If Fiona is nice and Fiona is round then Fiona is quiet. Smart things are nice. If Dave is white and Dave is nice then Dave is young. Quiet, round things are young. Nice things are smart. If something is quiet and nice then it is big. Smart things are quiet.
Dave is quiet.
@0: Charlie is nice.[(triple1)] Dave is big.[(triple2 OR ((((triple4) -> rule8) triple3) -> rule7) OR ((((triple4) -> rule8) ((triple4) -> rule3)) -> rule7) OR ((((((triple3) -> rule6)) -> rule8) triple3) -> rule7) OR ((((((triple3) -> rule6)) -> rule8) ((triple4) -> rule3)) -> rule7))] Dave is nice.[(triple3 OR ((triple4) -> rule3))] Dave is smart.[(triple4 OR ((triple3) -> rule6))] Dave is white.[(triple5)] Dave is young.[(triple6 OR ((triple5 triple3) -> rule4) OR ((triple5 ((triple4) -> rule3)) -> rule4))] Fiona is big.[(triple7)] @1: Charlie is smart.[(((triple1) -> rule6))] Dave is quiet.[(((triple4) -> rule8) OR ((((triple3) -> rule6)) -> rule8))] @2: Charlie is quiet.[(((((triple1) -> rule6)) -> rule8))] @3: Charlie is big.[(((((((triple1) -> rule6)) -> rule8) triple1) -> rule7))]