Anne is red. Bob is big. Bob is green. Bob is red. Charlie is furry. Dave is big. Dave is blue. If something is big then it is smart. If something is blue then it is green. All furry things are big. Smart things are blue. If something is green then it is furry. Green things are smart. All green things are quiet.
Charlie is smart.
@0: Anne is red.[(triple1)] Bob is big.[(triple2 OR ((((triple3) -> rule5)) -> rule3))] Bob is green.[(triple3 OR ((((((triple2) -> rule1)) -> rule4)) -> rule2))] Bob is red.[(triple4)] Charlie is furry.[(triple5)] Dave is big.[(triple6 OR ((((((triple7) -> rule2)) -> rule5)) -> rule3))] Dave is blue.[(triple7 OR ((((triple6) -> rule1)) -> rule4))] @1: Bob is furry.[(((triple3) -> rule5) OR ((((((((triple2) -> rule1)) -> rule4)) -> rule2)) -> rule5))] Bob is quiet.[(((triple3) -> rule7) OR ((((((((triple2) -> rule1)) -> rule4)) -> rule2)) -> rule7))] Bob is smart.[(((triple2) -> rule1) OR ((triple3) -> rule6) OR ((((((triple3) -> rule5)) -> rule3)) -> rule1))] Charlie is big.[(((triple5) -> rule3))] Dave is green.[(((triple7) -> rule2) OR ((((((triple6) -> rule1)) -> rule4)) -> rule2))] Dave is smart.[(((triple6) -> rule1) OR ((((triple7) -> rule2)) -> rule6) OR ((((((((triple7) -> rule2)) -> rule5)) -> rule3)) -> rule1))] @2: Bob is blue.[(((((triple2) -> rule1)) -> rule4) OR ((((triple3) -> rule6)) -> rule4) OR ((((((((triple3) -> rule5)) -> rule3)) -> rule1)) -> rule4))] Charlie is smart.[(((((triple5) -> rule3)) -> rule1))] Dave is furry.[(((((triple7) -> rule2)) -> rule5) OR ((((((((triple6) -> rule1)) -> rule4)) -> rule2)) -> rule5))] Dave is quiet.[(((((triple7) -> rule2)) -> rule7) OR ((((((((triple6) -> rule1)) -> rule4)) -> rule2)) -> rule7))] @3: Charlie is blue.[(((((((triple5) -> rule3)) -> rule1)) -> rule4))] @4: Charlie is green.[(((((((((triple5) -> rule3)) -> rule1)) -> rule4)) -> rule2))] @5: Charlie is quiet.[(((((((((((triple5) -> rule3)) -> rule1)) -> rule4)) -> rule2)) -> rule7))]