Anne is furry. Anne is kind. Anne is nice. Anne is young. Bob is big. Bob is furry. Charlie is nice. Charlie is young. Dave is cold. Dave is kind. Dave is young. All cold, big people are furry. All big people are rough. All kind, big people are rough. If someone is nice and rough then they are kind. If Charlie is kind then Charlie is big. If someone is rough and kind then they are cold. Nice people are big. All rough, furry people are cold. Cold, nice people are big.
Bob is not nice.
@0: Anne is furry.[(triple1 OR ((((((((triple3) -> rule7)) -> rule2) triple2) -> rule6) ((triple3) -> rule7)) -> rule1) OR ((((((triple2 ((triple3) -> rule7)) -> rule3) triple2) -> rule6) ((triple3) -> rule7)) -> rule1) OR ((((((((triple3) -> rule7)) -> rule2) ((triple3 ((((triple3) -> rule7)) -> rule2)) -> rule4)) -> rule6) ((triple3) -> rule7)) -> rule1) OR ((((((triple2 ((triple3) -> rule7)) -> rule3) ((triple3 ((((triple3) -> rule7)) -> rule2)) -> rule4)) -> rule6) ((triple3) -> rule7)) -> rule1))] Anne is kind.[(triple2 OR ((triple3 ((((triple3) -> rule7)) -> rule2)) -> rule4))] Anne is nice.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5)] Bob is furry.[(triple6)] Charlie is nice.[(triple7)] Charlie is young.[(triple8)] Dave is cold.[(triple9)] Dave is kind.[(triple10)] Dave is young.[(triple11)] @1: Anne is big.[(((triple3) -> rule7))] Bob is rough.[(((triple5) -> rule2))] Charlie is big.[(((triple7) -> rule7))] @2: Anne is rough.[(((((triple3) -> rule7)) -> rule2) OR ((triple2 ((triple3) -> rule7)) -> rule3))] Bob is cold.[(((((triple5) -> rule2) triple6) -> rule8))] Charlie is rough.[(((((triple7) -> rule7)) -> rule2))] @3: Anne is cold.[(((((((triple3) -> rule7)) -> rule2) triple1) -> rule8) OR ((((((triple3) -> rule7)) -> rule2) triple2) -> rule6) OR ((((triple2 ((triple3) -> rule7)) -> rule3) triple1) -> rule8) OR ((((triple2 ((triple3) -> rule7)) -> rule3) triple2) -> rule6) OR ((((((triple3) -> rule7)) -> rule2) ((triple3 ((((triple3) -> rule7)) -> rule2)) -> rule4)) -> rule6) OR ((((triple2 ((triple3) -> rule7)) -> rule3) ((triple3 ((((triple3) -> rule7)) -> rule2)) -> rule4)) -> rule6))] Charlie is kind.[(((triple7 ((((triple7) -> rule7)) -> rule2)) -> rule4))] @4: Charlie is cold.[(((((((triple7) -> rule7)) -> rule2) ((triple7 ((((triple7) -> rule7)) -> rule2)) -> rule4)) -> rule6))] @5: Charlie is furry.[(((((((((triple7) -> rule7)) -> rule2) ((triple7 ((((triple7) -> rule7)) -> rule2)) -> rule4)) -> rule6) ((triple7) -> rule7)) -> rule1))]