Charlie is nice. Dave is big. Erin is big. Fiona is nice. If Dave is smart and Dave is kind then Dave is furry. If something is big then it is kind. If Erin is red and Erin is kind then Erin is round. If something is round and red then it is smart. If Fiona is furry then Fiona is big. If something is big and smart then it is red.
Fiona is round.
@0: Charlie is nice.[(triple1)] Dave is big.[(triple2)] Erin is big.[(triple3)] Fiona is nice.[(triple4)] @1: Dave is kind.[(((triple2) -> rule2))] Erin is kind.[(((triple3) -> rule2))]