Bob is kind. Dave is nice. Dave is quiet. Erin is nice. Erin is smart. Erin is young. Fiona is kind. Quiet, rough things are smart. All young, rough things are quiet. Cold, nice things are not quiet. If Fiona is kind and Fiona is quiet then Fiona is rough. If something is nice and smart then it is young. If Fiona is nice and Fiona is cold then Fiona is smart. If something is quiet then it is rough. Young things are kind. All nice, kind things are not cold.
Fiona is young.
@0: Bob is kind.[(triple1)] Dave is nice.[(triple2)] Dave is quiet.[(triple3)] Erin is nice.[(triple4)] Erin is smart.[(triple5)] Erin is young.[(triple6 OR ((triple4 triple5) -> rule5))] Fiona is kind.[(triple7)] @1: Dave is rough.[(((triple3) -> rule7))] Erin is kind.[(((triple6) -> rule8) OR ((((triple4 triple5) -> rule5)) -> rule8))] @2: Dave is smart.[(((triple3 ((triple3) -> rule7)) -> rule1))] Erin is not cold.[(((triple4 ((triple6) -> rule8)) -> rule9) OR ((triple4 ((((triple4 triple5) -> rule5)) -> rule8)) -> rule9))] @3: Dave is young.[(((triple2 ((triple3 ((triple3) -> rule7)) -> rule1)) -> rule5))] @4: Dave is kind.[(((((triple2 ((triple3 ((triple3) -> rule7)) -> rule1)) -> rule5)) -> rule8))] @5: Dave is not cold.[(((triple2 ((((triple2 ((triple3 ((triple3) -> rule7)) -> rule1)) -> rule5)) -> rule8)) -> rule9))]