Bob is cold. Bob is kind. Bob is nice. Bob is young. Dave is quiet. Dave is smart. Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is young. All quiet things are young. All young, quiet things are nice. All young things are cold.
Bob is not furry.
@0: Bob is cold.[(triple1 OR ((triple4) -> rule3))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is young.[(triple4)] Dave is quiet.[(triple5)] Dave is smart.[(triple6)] Erin is cold.[(triple7 OR ((triple12) -> rule3) OR ((((triple11) -> rule1)) -> rule3))] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10 OR ((triple12 triple11) -> rule2) OR ((((triple11) -> rule1) triple11) -> rule2))] Erin is quiet.[(triple11)] Erin is young.[(triple12 OR ((triple11) -> rule1))] @1: Dave is young.[(((triple5) -> rule1))] @2: Dave is cold.[(((((triple5) -> rule1)) -> rule3))] Dave is nice.[(((((triple5) -> rule1) triple5) -> rule2))]