Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is rough. Bob is round. Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is rough. Dave is round. All blue people are cold. All blue people are big. Cold people are green. Cold, rough people are kind. If someone is kind then they are cold. If Dave is big and Dave is cold then Dave is green. If Dave is rough then Dave is kind. If Bob is rough then Bob is blue.
Dave is rough.
@0: Bob is big.[(triple1 OR ((triple2) -> rule2) OR ((((triple6) -> rule8)) -> rule2))] Bob is blue.[(triple2 OR ((triple6) -> rule8))] Bob is cold.[(triple3 OR ((triple2) -> rule1) OR ((triple5) -> rule5) OR ((((triple6) -> rule8)) -> rule1))] Bob is green.[(triple4 OR ((triple3) -> rule3) OR ((((triple2) -> rule1)) -> rule3) OR ((((triple5) -> rule5)) -> rule3) OR ((((((triple6) -> rule8)) -> rule1)) -> rule3))] Bob is kind.[(triple5 OR ((triple3 triple6) -> rule4) OR ((((triple2) -> rule1) triple6) -> rule4) OR ((((((triple6) -> rule8)) -> rule1) triple6) -> rule4))] Bob is rough.[(triple6)] Bob is round.[(triple7)] Dave is big.[(triple8 OR ((triple9) -> rule2))] Dave is blue.[(triple9)] Dave is cold.[(triple10 OR ((triple12) -> rule5) OR ((triple9) -> rule1) OR ((((triple13) -> rule7)) -> rule5))] Dave is green.[(triple11 OR ((triple10) -> rule3) OR ((triple8 triple10) -> rule6) OR ((((triple12) -> rule5)) -> rule3) OR ((((triple9) -> rule1)) -> rule3) OR ((triple8 ((triple12) -> rule5)) -> rule6) OR ((triple8 ((triple9) -> rule1)) -> rule6) OR ((((triple9) -> rule2) triple10) -> rule6) OR ((((triple9) -> rule2) ((triple12) -> rule5)) -> rule6) OR ((((triple9) -> rule2) ((triple9) -> rule1)) -> rule6) OR ((((((triple13) -> rule7)) -> rule5)) -> rule3) OR ((triple8 ((((triple13) -> rule7)) -> rule5)) -> rule6) OR ((((triple9) -> rule2) ((((triple13) -> rule7)) -> rule5)) -> rule6))] Dave is kind.[(triple12 OR ((triple13) -> rule7) OR ((triple10 triple13) -> rule4) OR ((((triple9) -> rule1) triple13) -> rule4))] Dave is rough.[(triple13)] Dave is round.[(triple14)]