Dave is big. Dave is cold. Dave is kind. Dave is nice. Dave is round. Dave is smart. Dave is white. Harry is big. Harry is cold. Harry is kind. Harry is nice. Harry is round. Harry is smart. Harry is white. If someone is white then they are smart. If Dave is smart then Dave is cold. Big people are cold. Big people are round. All big people are nice. If someone is cold then they are nice. White, nice people are big. If someone is nice and not smart then they are big.
Harry is big.
@0: Dave is big.[(triple1 OR ((triple7 triple4) -> rule7) OR ((triple7 ((triple2) -> rule6)) -> rule7) OR ((triple7 ((((triple6) -> rule2)) -> rule6)) -> rule7) OR ((triple7 ((((((triple7) -> rule1)) -> rule2)) -> rule6)) -> rule7))] Dave is cold.[(triple2 OR ((triple1) -> rule3) OR ((triple6) -> rule2) OR ((((triple7) -> rule1)) -> rule2) OR ((((triple7 triple4) -> rule7)) -> rule3))] Dave is kind.[(triple3)] Dave is nice.[(triple4 OR ((triple1) -> rule5) OR ((triple2) -> rule6) OR ((((triple1) -> rule3)) -> rule6) OR ((((triple6) -> rule2)) -> rule6) OR ((((((triple7) -> rule1)) -> rule2)) -> rule6))] Dave is round.[(triple5 OR ((triple1) -> rule4) OR ((((triple7 triple4) -> rule7)) -> rule4) OR ((((triple7 ((triple2) -> rule6)) -> rule7)) -> rule4) OR ((((triple7 ((((triple6) -> rule2)) -> rule6)) -> rule7)) -> rule4) OR ((((triple7 ((((((triple7) -> rule1)) -> rule2)) -> rule6)) -> rule7)) -> rule4))] Dave is smart.[(triple6 OR ((triple7) -> rule1))] Dave is white.[(triple7)] Harry is big.[(triple8 OR ((triple14 triple11) -> rule7) OR ((triple14 ((triple9) -> rule6)) -> rule7))] Harry is cold.[(triple9 OR ((triple8) -> rule3) OR ((((triple14 triple11) -> rule7)) -> rule3))] Harry is kind.[(triple10)] Harry is nice.[(triple11 OR ((triple8) -> rule5) OR ((triple9) -> rule6) OR ((((triple8) -> rule3)) -> rule6))] Harry is round.[(triple12 OR ((triple8) -> rule4) OR ((((triple14 triple11) -> rule7)) -> rule4) OR ((((triple14 ((triple9) -> rule6)) -> rule7)) -> rule4))] Harry is smart.[(triple13 OR ((triple14) -> rule1))] Harry is white.[(triple14)]