Anne is kind. Anne is nice. Anne is quiet. Anne is round. Bob is not round. Dave is furry. Erin is nice. If something is nice then it is quiet. All nice, kind things are not young. If something is furry then it is cold. Quiet, nice things are cold. If Erin is young then Erin is not kind. Furry, quiet things are kind. All cold things are kind. If Erin is young then Erin is not quiet. If something is kind and not young then it is round.
Dave is cold.
@0: Anne is kind.[(triple1 OR ((((triple3 triple2) -> rule4)) -> rule7) OR ((((((triple2) -> rule1) triple2) -> rule4)) -> rule7))] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((triple2) -> rule1))] Anne is round.[(triple4 OR ((triple1 ((triple2 triple1) -> rule2)) -> rule9) OR ((((((triple3 triple2) -> rule4)) -> rule7) ((triple2 triple1) -> rule2)) -> rule9) OR ((triple1 ((triple2 ((((triple3 triple2) -> rule4)) -> rule7)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule1) triple2) -> rule4)) -> rule7) ((triple2 triple1) -> rule2)) -> rule9) OR ((((((triple3 triple2) -> rule4)) -> rule7) ((triple2 ((((triple3 triple2) -> rule4)) -> rule7)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule1) triple2) -> rule4)) -> rule7) ((triple2 ((((triple3 triple2) -> rule4)) -> rule7)) -> rule2)) -> rule9) OR ((triple1 ((triple2 ((((((triple2) -> rule1) triple2) -> rule4)) -> rule7)) -> rule2)) -> rule9) OR ((((((triple3 triple2) -> rule4)) -> rule7) ((triple2 ((((((triple2) -> rule1) triple2) -> rule4)) -> rule7)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule1) triple2) -> rule4)) -> rule7) ((triple2 ((((((triple2) -> rule1) triple2) -> rule4)) -> rule7)) -> rule2)) -> rule9))] Bob is not round.[(triple5)] Dave is furry.[(triple6)] Erin is nice.[(triple7)] @1: Anne is cold.[(((triple3 triple2) -> rule4) OR ((((triple2) -> rule1) triple2) -> rule4))] Anne is not young.[(((triple2 triple1) -> rule2) OR ((triple2 ((((triple3 triple2) -> rule4)) -> rule7)) -> rule2) OR ((triple2 ((((((triple2) -> rule1) triple2) -> rule4)) -> rule7)) -> rule2))] Dave is cold.[(((triple6) -> rule3))] Erin is quiet.[(((triple7) -> rule1))] @2: Dave is kind.[(((((triple6) -> rule3)) -> rule7))] Erin is cold.[(((((triple7) -> rule1) triple7) -> rule4))] @3: Erin is kind.[(((((((triple7) -> rule1) triple7) -> rule4)) -> rule7))] @4: Erin is not young.[(((triple7 ((((((triple7) -> rule1) triple7) -> rule4)) -> rule7)) -> rule2))] @5: Erin is round.[(((((((((triple7) -> rule1) triple7) -> rule4)) -> rule7) ((triple7 ((((((triple7) -> rule1) triple7) -> rule4)) -> rule7)) -> rule2)) -> rule9))]