Anne is big. Anne is round. Anne is smart. Anne is white. Bob is big. Bob is cold. Bob is round. Dave is smart. Fiona is cold. Fiona is red. If Anne is smart then Anne is big. If someone is smart and round then they are cold. Cold, smart people are kind. If someone is big and cold then they are kind. If Dave is round and Dave is white then Dave is cold. Cold people are round. Smart people are cold. If someone is red then they are kind.
Anne is not big.
@0: Anne is big.[(triple1 OR ((triple3) -> rule1))] Anne is round.[(triple2 OR ((((triple3) -> rule7)) -> rule6))] Anne is smart.[(triple3)] Anne is white.[(triple4)] Bob is big.[(triple5)] Bob is cold.[(triple6)] Bob is round.[(triple7 OR ((triple6) -> rule6))] Dave is smart.[(triple8)] Fiona is cold.[(triple9)] Fiona is red.[(triple10)] @1: Anne is cold.[(((triple3) -> rule7) OR ((triple3 triple2) -> rule2))] Bob is kind.[(((triple5 triple6) -> rule4))] Dave is cold.[(((triple8) -> rule7))] Fiona is kind.[(((triple10) -> rule8))] Fiona is round.[(((triple9) -> rule6))] @2: Anne is kind.[(((triple1 ((triple3) -> rule7)) -> rule4) OR ((triple1 ((triple3 triple2) -> rule2)) -> rule4) OR ((((triple3) -> rule7) triple3) -> rule3) OR ((((triple3 triple2) -> rule2) triple3) -> rule3) OR ((((triple3) -> rule1) ((triple3) -> rule7)) -> rule4) OR ((((triple3) -> rule1) ((triple3 triple2) -> rule2)) -> rule4))] Dave is kind.[(((((triple8) -> rule7) triple8) -> rule3))] Dave is round.[(((((triple8) -> rule7)) -> rule6))]