Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is round. Bob is smart. Charlie is blue. Charlie is quiet. Charlie is round. Dave is blue. Dave is cold. If someone is smart then they are furry. All quiet, kind people are furry. All furry, blue people are cold. All quiet, blue people are smart. Blue people are cold. If someone is round then they are blue.
Bob is kind.
@0: Bob is blue.[(triple1 OR ((triple6) -> rule6))] Bob is cold.[(triple2 OR ((triple1) -> rule5) OR ((triple3 triple1) -> rule3) OR ((((triple6) -> rule6)) -> rule5) OR ((triple3 ((triple6) -> rule6)) -> rule3) OR ((((triple7) -> rule1) triple1) -> rule3) OR ((((triple5 triple4) -> rule2) triple1) -> rule3) OR ((((triple7) -> rule1) ((triple6) -> rule6)) -> rule3) OR ((((triple5 triple4) -> rule2) ((triple6) -> rule6)) -> rule3) OR ((((((triple5 triple1) -> rule4)) -> rule1) triple1) -> rule3) OR ((((((triple5 triple1) -> rule4)) -> rule1) ((triple6) -> rule6)) -> rule3) OR ((((((triple5 ((triple6) -> rule6)) -> rule4)) -> rule1) triple1) -> rule3) OR ((((((triple5 ((triple6) -> rule6)) -> rule4)) -> rule1) ((triple6) -> rule6)) -> rule3))] Bob is furry.[(triple3 OR ((triple7) -> rule1) OR ((triple5 triple4) -> rule2) OR ((((triple5 triple1) -> rule4)) -> rule1) OR ((((triple5 ((triple6) -> rule6)) -> rule4)) -> rule1))] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7 OR ((triple5 triple1) -> rule4) OR ((triple5 ((triple6) -> rule6)) -> rule4))] Charlie is blue.[(triple8 OR ((triple10) -> rule6))] Charlie is quiet.[(triple9)] Charlie is round.[(triple10)] Dave is blue.[(triple11)] Dave is cold.[(triple12 OR ((triple11) -> rule5))] @1: Charlie is cold.[(((triple8) -> rule5) OR ((((triple10) -> rule6)) -> rule5) OR ((((((triple9 triple8) -> rule4)) -> rule1) triple8) -> rule3) OR ((((((triple9 triple8) -> rule4)) -> rule1) ((triple10) -> rule6)) -> rule3) OR ((((((triple9 ((triple10) -> rule6)) -> rule4)) -> rule1) triple8) -> rule3) OR ((((((triple9 ((triple10) -> rule6)) -> rule4)) -> rule1) ((triple10) -> rule6)) -> rule3))] Charlie is smart.[(((triple9 triple8) -> rule4) OR ((triple9 ((triple10) -> rule6)) -> rule4))] @2: Charlie is furry.[(((((triple9 triple8) -> rule4)) -> rule1) OR ((((triple9 ((triple10) -> rule6)) -> rule4)) -> rule1))]