Bob is green. Bob is smart. Dave is cold. Dave is green. Dave is kind. Dave is round. Dave is smart. If Bob is smart and Bob is kind then Bob is round. If someone is kind then they are cold. If someone is smart then they are blue. If someone is blue then they are kind. All blue people are cold. Cold, green people are blue. All cold, kind people are green. If someone is blue then they are green.
Dave is cold.
@0: Bob is green.[(triple1 OR ((((triple2) -> rule3)) -> rule8) OR ((((((triple2) -> rule3)) -> rule5) ((((triple2) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple2) -> rule3)) -> rule4)) -> rule2) ((((triple2) -> rule3)) -> rule4)) -> rule7))] Bob is smart.[(triple2)] Dave is cold.[(triple3 OR ((triple5) -> rule2) OR ((((triple7) -> rule3)) -> rule5) OR ((((((triple7) -> rule3)) -> rule4)) -> rule2))] Dave is green.[(triple4 OR ((triple3 triple5) -> rule7) OR ((((triple7) -> rule3)) -> rule8) OR ((((triple5) -> rule2) triple5) -> rule7) OR ((triple3 ((((triple7) -> rule3)) -> rule4)) -> rule7) OR ((((((triple7) -> rule3)) -> rule5) triple5) -> rule7) OR ((((triple5) -> rule2) ((((triple7) -> rule3)) -> rule4)) -> rule7) OR ((((((triple7) -> rule3)) -> rule5) ((((triple7) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple7) -> rule3)) -> rule4)) -> rule2) triple5) -> rule7) OR ((((((((triple7) -> rule3)) -> rule4)) -> rule2) ((((triple7) -> rule3)) -> rule4)) -> rule7))] Dave is kind.[(triple5 OR ((((triple7) -> rule3)) -> rule4) OR ((((triple3 triple4) -> rule6)) -> rule4))] Dave is round.[(triple6)] Dave is smart.[(triple7)] @1: Bob is blue.[(((triple2) -> rule3))] Dave is blue.[(((triple7) -> rule3) OR ((triple3 triple4) -> rule6) OR ((triple3 ((triple3 triple5) -> rule7)) -> rule6) OR ((((triple5) -> rule2) triple4) -> rule6) OR ((((triple5) -> rule2) ((triple3 triple5) -> rule7)) -> rule6) OR ((triple3 ((((triple5) -> rule2) triple5) -> rule7)) -> rule6) OR ((((triple5) -> rule2) ((((triple5) -> rule2) triple5) -> rule7)) -> rule6))] @2: Bob is cold.[(((((triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule3)) -> rule4)) -> rule2))] Bob is kind.[(((((triple2) -> rule3)) -> rule4))] @3: Bob is round.[(((triple2 ((((triple2) -> rule3)) -> rule4)) -> rule1))]