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