Bob is big. Bob is cold. Bob is kind. Bob is rough. Bob is round. Bob is white. Bob is young. Harry is big. Harry is cold. Harry is rough. Harry is round. Harry is white. Big, kind people are rough. Round people are cold. White people are young. If someone is kind and young then they are rough. All kind people are round. If someone is white and big then they are young. Rough, kind people are cold. If Bob is cold then Bob is young.
Bob is big.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple5) -> rule2) OR ((triple4 triple3) -> rule7) OR ((((triple3) -> rule5)) -> rule2) OR ((((triple1 triple3) -> rule1) triple3) -> rule7) OR ((((triple3 triple7) -> rule4) triple3) -> rule7) OR ((((triple3 ((triple6) -> rule3)) -> rule4) triple3) -> rule7) OR ((((triple3 ((triple6 triple1) -> rule6)) -> rule4) triple3) -> rule7))] Bob is kind.[(triple3)] Bob is rough.[(triple4 OR ((triple1 triple3) -> rule1) OR ((triple3 triple7) -> rule4) OR ((triple3 ((triple2) -> rule8)) -> rule4) OR ((triple3 ((triple6) -> rule3)) -> rule4) OR ((triple3 ((triple6 triple1) -> rule6)) -> rule4) OR ((triple3 ((((triple5) -> rule2)) -> rule8)) -> rule4) OR ((triple3 ((((((triple3) -> rule5)) -> rule2)) -> rule8)) -> rule4))] Bob is round.[(triple5 OR ((triple3) -> rule5))] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple2) -> rule8) OR ((triple6) -> rule3) OR ((triple6 triple1) -> rule6) OR ((((triple5) -> rule2)) -> rule8) OR ((((triple4 triple3) -> rule7)) -> rule8) OR ((((((triple3) -> rule5)) -> rule2)) -> rule8) OR ((((((triple1 triple3) -> rule1) triple3) -> rule7)) -> rule8))] Harry is big.[(triple8)] Harry is cold.[(triple9 OR ((triple11) -> rule2))] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)] @1: Harry is young.[(((triple12) -> rule3) OR ((triple12 triple8) -> rule6))]