Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is red. Anne is round. Anne is smart. Bob is cold. Bob is smart. Dave is furry. Erin is blue. Erin is cold. Erin is round. Erin is smart. If someone is smart and red then they are blue. If someone is cold and big then they are red. If Dave is smart and Dave is red then Dave is big. If Bob is round and Bob is furry then Bob is big. All round people are furry. All big people are red. Smart people are round. All big people are round. Furry people are big.
Anne is round.
@0: Anne is big.[(triple1 OR ((triple4) -> rule9) OR ((((triple6) -> rule5)) -> rule9) OR ((((((triple7) -> rule7)) -> rule5)) -> rule9))] Anne is blue.[(triple2 OR ((triple7 triple5) -> rule1) OR ((triple7 ((triple1) -> rule6)) -> rule1) OR ((triple7 ((triple3 triple1) -> rule2)) -> rule1) OR ((triple7 ((((triple4) -> rule9)) -> rule6)) -> rule1) OR ((triple7 ((triple3 ((triple4) -> rule9)) -> rule2)) -> rule1) OR ((triple7 ((((((triple6) -> rule5)) -> rule9)) -> rule6)) -> rule1) OR ((triple7 ((triple3 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule1) OR ((triple7 ((((((((triple7) -> rule7)) -> rule5)) -> rule9)) -> rule6)) -> rule1) OR ((triple7 ((triple3 ((((((triple7) -> rule7)) -> rule5)) -> rule9)) -> rule2)) -> rule1))] Anne is cold.[(triple3)] Anne is furry.[(triple4 OR ((triple6) -> rule5) OR ((((triple1) -> rule8)) -> rule5) OR ((((triple7) -> rule7)) -> rule5))] Anne is red.[(triple5 OR ((triple1) -> rule6) OR ((triple3 triple1) -> rule2) OR ((((triple4) -> rule9)) -> rule6) OR ((triple3 ((triple4) -> rule9)) -> rule2) OR ((((((triple6) -> rule5)) -> rule9)) -> rule6) OR ((triple3 ((((triple6) -> rule5)) -> rule9)) -> rule2) OR ((((((((triple7) -> rule7)) -> rule5)) -> rule9)) -> rule6) OR ((triple3 ((((((triple7) -> rule7)) -> rule5)) -> rule9)) -> rule2))] Anne is round.[(triple6 OR ((triple1) -> rule8) OR ((triple7) -> rule7) OR ((((triple4) -> rule9)) -> rule8))] Anne is smart.[(triple7)] Bob is cold.[(triple8)] Bob is smart.[(triple9)] Dave is furry.[(triple10)] Erin is blue.[(triple11 OR ((triple14 ((((((triple13) -> rule5)) -> rule9)) -> rule6)) -> rule1) OR ((triple14 ((triple12 ((((triple13) -> rule5)) -> rule9)) -> rule2)) -> rule1) OR ((triple14 ((((((((triple14) -> rule7)) -> rule5)) -> rule9)) -> rule6)) -> rule1) OR ((triple14 ((triple12 ((((((triple14) -> rule7)) -> rule5)) -> rule9)) -> rule2)) -> rule1))] Erin is cold.[(triple12)] Erin is round.[(triple13 OR ((triple14) -> rule7))] Erin is smart.[(triple14)] @1: Bob is round.[(((triple9) -> rule7))] Dave is big.[(((triple10) -> rule9))] Erin is furry.[(((triple13) -> rule5) OR ((((triple14) -> rule7)) -> rule5))] @2: Bob is furry.[(((((triple9) -> rule7)) -> rule5))] Dave is red.[(((((triple10) -> rule9)) -> rule6))] Dave is round.[(((((triple10) -> rule9)) -> rule8))] Erin is big.[(((((triple13) -> rule5)) -> rule9) OR ((((((triple14) -> rule7)) -> rule5)) -> rule9))] @3: Bob is big.[(((((((triple9) -> rule7)) -> rule5)) -> rule9) OR ((((triple9) -> rule7) ((((triple9) -> rule7)) -> rule5)) -> rule4))] Erin is red.[(((((((triple13) -> rule5)) -> rule9)) -> rule6) OR ((triple12 ((((triple13) -> rule5)) -> rule9)) -> rule2) OR ((((((((triple14) -> rule7)) -> rule5)) -> rule9)) -> rule6) OR ((triple12 ((((((triple14) -> rule7)) -> rule5)) -> rule9)) -> rule2))] @4: Bob is red.[(((((((((triple9) -> rule7)) -> rule5)) -> rule9)) -> rule6) OR ((triple8 ((((((triple9) -> rule7)) -> rule5)) -> rule9)) -> rule2) OR ((((((triple9) -> rule7) ((((triple9) -> rule7)) -> rule5)) -> rule4)) -> rule6) OR ((triple8 ((((triple9) -> rule7) ((((triple9) -> rule7)) -> rule5)) -> rule4)) -> rule2))] @5: Bob is blue.[(((triple9 ((((((((triple9) -> rule7)) -> rule5)) -> rule9)) -> rule6)) -> rule1) OR ((triple9 ((triple8 ((((((triple9) -> rule7)) -> rule5)) -> rule9)) -> rule2)) -> rule1) OR ((triple9 ((((((triple9) -> rule7) ((((triple9) -> rule7)) -> rule5)) -> rule4)) -> rule6)) -> rule1) OR ((triple9 ((triple8 ((((triple9) -> rule7) ((((triple9) -> rule7)) -> rule5)) -> rule4)) -> rule2)) -> rule1))]