Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is round. Bob is smart. Dave is blue. Dave is furry. Dave is green. Dave is round. Dave is smart. If something is furry and smart then it is cold. Cold, blue things are smart. If something is green and smart then it is kind. All furry, smart things are green. If something is round then it is furry. All round, blue things are kind.
Bob is green.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple3 triple7) -> rule1) OR ((((triple6) -> rule5) triple7) -> rule1))] Bob is furry.[(triple3 OR ((triple6) -> rule5))] Bob is green.[(triple4 OR ((triple3 triple7) -> rule4) OR ((triple3 ((triple2 triple1) -> rule2)) -> rule4) OR ((((triple6) -> rule5) triple7) -> rule4) OR ((((triple6) -> rule5) ((triple2 triple1) -> rule2)) -> rule4))] Bob is kind.[(triple5 OR ((triple4 triple7) -> rule3) OR ((triple6 triple1) -> rule6) OR ((triple4 ((triple2 triple1) -> rule2)) -> rule3) OR ((((triple3 triple7) -> rule4) triple7) -> rule3) OR ((((triple3 triple7) -> rule4) ((triple2 triple1) -> rule2)) -> rule3) OR ((((triple3 ((triple2 triple1) -> rule2)) -> rule4) triple7) -> rule3) OR ((((((triple6) -> rule5) triple7) -> rule4) triple7) -> rule3) OR ((((triple3 ((triple2 triple1) -> rule2)) -> rule4) ((triple2 triple1) -> rule2)) -> rule3) OR ((((((triple6) -> rule5) triple7) -> rule4) ((triple2 triple1) -> rule2)) -> rule3) OR ((((((triple6) -> rule5) ((triple2 triple1) -> rule2)) -> rule4) triple7) -> rule3) OR ((((((triple6) -> rule5) ((triple2 triple1) -> rule2)) -> rule4) ((triple2 triple1) -> rule2)) -> rule3))] Bob is round.[(triple6)] Bob is smart.[(triple7 OR ((triple2 triple1) -> rule2))] Dave is blue.[(triple8)] Dave is furry.[(triple9 OR ((triple11) -> rule5))] Dave is green.[(triple10 OR ((triple9 triple12) -> rule4) OR ((((triple11) -> rule5) triple12) -> rule4))] Dave is round.[(triple11)] Dave is smart.[(triple12)] @1: Dave is cold.[(((triple9 triple12) -> rule1) OR ((((triple11) -> rule5) triple12) -> rule1))] Dave is kind.[(((triple10 triple12) -> rule3) OR ((triple11 triple8) -> rule6) OR ((((triple9 triple12) -> rule4) triple12) -> rule3) OR ((((((triple11) -> rule5) triple12) -> rule4) triple12) -> rule3))]