Bob is big. Bob is kind. Bob is smart. Bob is white. Gary is big. Gary is blue. Gary is green. Harry is green. Harry is kind. Harry is quiet. Harry is smart. Harry is white. If something is kind then it is big. If something is big and blue then it is quiet. All white, quiet things are kind. All big, green things are kind. All white, blue things are quiet. If Gary is smart and Gary is kind then Gary is white. If Harry is quiet then Harry is white. Smart, white things are big.
Gary is green.
@0: Bob is big.[(triple1 OR ((triple2) -> rule1) OR ((triple3 triple4) -> rule8))] Bob is kind.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Gary is big.[(triple5)] Gary is blue.[(triple6)] Gary is green.[(triple7)] Harry is green.[(triple8)] Harry is kind.[(triple9 OR ((triple12 triple10) -> rule3) OR ((((triple10) -> rule7) triple10) -> rule3) OR ((((triple11 triple12) -> rule8) triple8) -> rule4) OR ((((triple11 ((triple10) -> rule7)) -> rule8) triple8) -> rule4))] Harry is quiet.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12 OR ((triple10) -> rule7))] @1: Gary is kind.[(((triple5 triple7) -> rule4))] Gary is quiet.[(((triple5 triple6) -> rule2))] Harry is big.[(((triple9) -> rule1) OR ((triple11 triple12) -> rule8) OR ((((triple12 triple10) -> rule3)) -> rule1) OR ((triple11 ((triple10) -> rule7)) -> rule8) OR ((((((triple10) -> rule7) triple10) -> rule3)) -> rule1))]