Bob is big. Bob is blue. Bob is cold. Bob is white. Dave is cold. Dave is kind. Dave is nice. Gary is cold. Gary is kind. Harry is white. All white things are blue. All big, kind things are nice. If something is nice then it is big. If something is kind then it is nice. If something is rough then it is white. If something is big and nice then it is rough. All white, blue things are cold.
Harry is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple4) -> rule1))] Bob is cold.[(triple3 OR ((triple4 triple2) -> rule7) OR ((triple4 ((triple4) -> rule1)) -> rule7))] Bob is white.[(triple4)] Dave is cold.[(triple5 OR ((((((((triple7) -> rule3) triple7) -> rule6)) -> rule5) ((((((((triple7) -> rule3) triple7) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple7) -> rule3) triple7) -> rule6)) -> rule5) ((((((((triple7) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple7) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5) ((((((((triple7) -> rule3) triple7) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple6) -> rule4)) -> rule3) triple7) -> rule6)) -> rule5) ((((((((triple7) -> rule3) triple7) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple7) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5) ((((((((triple7) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple6) -> rule4)) -> rule3) triple7) -> rule6)) -> rule5) ((((((((triple7) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5) ((((((((triple7) -> rule3) triple7) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5) ((((((((triple7) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple7) -> rule3) triple7) -> rule6)) -> rule5) ((((((((((triple6) -> rule4)) -> rule3) triple7) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple7) -> rule3) triple7) -> rule6)) -> rule5) ((((((((((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple7) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5) ((((((((((triple6) -> rule4)) -> rule3) triple7) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple6) -> rule4)) -> rule3) triple7) -> rule6)) -> rule5) ((((((((((triple6) -> rule4)) -> rule3) triple7) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple7) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5) ((((((((((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple6) -> rule4)) -> rule3) triple7) -> rule6)) -> rule5) ((((((((((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5) ((((((((((triple6) -> rule4)) -> rule3) triple7) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5) ((((((((((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5)) -> rule1)) -> rule7))] Dave is kind.[(triple6)] Dave is nice.[(triple7 OR ((triple6) -> rule4))] Gary is cold.[(triple8 OR ((((((((((triple9) -> rule4)) -> rule3) ((triple9) -> rule4)) -> rule6)) -> rule5) ((((((((((triple9) -> rule4)) -> rule3) ((triple9) -> rule4)) -> rule6)) -> rule5)) -> rule1)) -> rule7))] Gary is kind.[(triple9)] Harry is white.[(triple10)] @1: Dave is big.[(((triple7) -> rule3) OR ((((triple6) -> rule4)) -> rule3))] Gary is nice.[(((triple9) -> rule4))] Harry is blue.[(((triple10) -> rule1))] @2: Dave is rough.[(((((triple7) -> rule3) triple7) -> rule6) OR ((((triple7) -> rule3) ((triple6) -> rule4)) -> rule6) OR ((((((triple6) -> rule4)) -> rule3) triple7) -> rule6) OR ((((((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule6))] Gary is big.[(((((triple9) -> rule4)) -> rule3))] Harry is cold.[(((triple10 ((triple10) -> rule1)) -> rule7))] @3: Dave is white.[(((((((triple7) -> rule3) triple7) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple6) -> rule4)) -> rule3) triple7) -> rule6)) -> rule5) OR ((((((((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5))] Gary is rough.[(((((((triple9) -> rule4)) -> rule3) ((triple9) -> rule4)) -> rule6))] @4: Dave is blue.[(((((((((triple7) -> rule3) triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5)) -> rule1) OR ((((((((((triple6) -> rule4)) -> rule3) triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((((((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5)) -> rule1))] Gary is white.[(((((((((triple9) -> rule4)) -> rule3) ((triple9) -> rule4)) -> rule6)) -> rule5))] @5: Gary is blue.[(((((((((((triple9) -> rule4)) -> rule3) ((triple9) -> rule4)) -> rule6)) -> rule5)) -> rule1))]