Bob is big. Bob is furry. Bob is green. Bob is red. Dave is green. Erin is big. Erin is furry. Red, quiet people are big. If someone is big then they are red. If someone is round then they are cold. All furry people are cold. Green, cold people are quiet. All big people are red. Round people are big. All green people are round.
Erin is quiet.
@0: Bob is big.[(triple1 OR ((((triple3) -> rule8)) -> rule7) OR ((triple4 ((triple3 ((triple2) -> rule4)) -> rule5)) -> rule1) OR ((triple4 ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule5)) -> rule1))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is red.[(triple4 OR ((triple1) -> rule2) OR ((triple1) -> rule6) OR ((((((triple3) -> rule8)) -> rule7)) -> rule2) OR ((((((triple3) -> rule8)) -> rule7)) -> rule6))] Dave is green.[(triple5)] Erin is big.[(triple6)] Erin is furry.[(triple7)] @1: Bob is cold.[(((triple2) -> rule4) OR ((((triple3) -> rule8)) -> rule3))] Bob is round.[(((triple3) -> rule8))] Dave is round.[(((triple5) -> rule8))] Erin is cold.[(((triple7) -> rule4))] Erin is red.[(((triple6) -> rule2) OR ((triple6) -> rule6))] @2: Bob is quiet.[(((triple3 ((triple2) -> rule4)) -> rule5) OR ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule5))] Dave is big.[(((((triple5) -> rule8)) -> rule7))] Dave is cold.[(((((triple5) -> rule8)) -> rule3))] @3: Dave is quiet.[(((triple5 ((((triple5) -> rule8)) -> rule3)) -> rule5))] Dave is red.[(((((((triple5) -> rule8)) -> rule7)) -> rule2) OR ((((((triple5) -> rule8)) -> rule7)) -> rule6))]