Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Dave is green. Harry is green. Harry is red. Harry is rough. Harry is round. All cold people are rough. If someone is cold then they are kind. Green people are nice. If someone is cold then they are kind. If someone is rough and green then they are round. Kind people are red. If someone is round then they are kind. If someone is cold then they are round.
Charlie is red.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((triple1) -> rule2) OR ((triple1) -> rule4) OR ((triple7) -> rule7) OR ((((triple1) -> rule8)) -> rule7) OR ((((triple6 triple2) -> rule5)) -> rule7) OR ((((((triple1) -> rule1) triple2) -> rule5)) -> rule7))] Charlie is nice.[(triple4 OR ((triple2) -> rule3))] Charlie is red.[(triple5 OR ((triple3) -> rule6) OR ((((triple1) -> rule2)) -> rule6) OR ((((triple1) -> rule4)) -> rule6) OR ((((triple7) -> rule7)) -> rule6) OR ((((((triple1) -> rule8)) -> rule7)) -> rule6) OR ((((((triple6 triple2) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple1) -> rule1) triple2) -> rule5)) -> rule7)) -> rule6))] Charlie is rough.[(triple6 OR ((triple1) -> rule1))] Charlie is round.[(triple7 OR ((triple1) -> rule8) OR ((triple6 triple2) -> rule5) OR ((((triple1) -> rule1) triple2) -> rule5))] Dave is green.[(triple8)] Harry is green.[(triple9)] Harry is red.[(triple10 OR ((((triple12) -> rule7)) -> rule6) OR ((((((triple11 triple9) -> rule5)) -> rule7)) -> rule6))] Harry is rough.[(triple11)] Harry is round.[(triple12 OR ((triple11 triple9) -> rule5))] @1: Dave is nice.[(((triple8) -> rule3))] Harry is kind.[(((triple12) -> rule7) OR ((((triple11 triple9) -> rule5)) -> rule7))] Harry is nice.[(((triple9) -> rule3))]