Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is round. Dave is white. Dave is young. All young people are cold. If someone is big then they are cold. If Dave is blue and Dave is kind then Dave is cold. If someone is cold then they are blue. If Dave is round and Dave is young then Dave is big. All young people are cold. All blue people are big. Young, blue people are cold.
Dave is cold.
@0: Dave is big.[(triple1 OR ((triple2) -> rule7) OR ((triple5 triple7) -> rule5) OR ((((triple3) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((triple7) -> rule6)) -> rule4)) -> rule7))] Dave is blue.[(triple2 OR ((triple3) -> rule4) OR ((((triple1) -> rule2)) -> rule4) OR ((((triple7) -> rule1)) -> rule4) OR ((((triple7) -> rule6)) -> rule4) OR ((((((triple5 triple7) -> rule5)) -> rule2)) -> rule4))] Dave is cold.[(triple3 OR ((triple1) -> rule2) OR ((triple7) -> rule1) OR ((triple7) -> rule6) OR ((triple2 triple4) -> rule3) OR ((triple7 triple2) -> rule8) OR ((((triple2) -> rule7)) -> rule2) OR ((((triple5 triple7) -> rule5)) -> rule2))] Dave is kind.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)]