Bob is blue. Bob is cold. Bob is kind. Bob is nice. Bob is rough. Bob is young. Charlie is blue. Charlie is cold. Charlie is kind. Gary is kind. Gary is nice. Gary is young. Harry is blue. Harry is kind. Harry is white. Harry is young. If something is white then it is kind. Rough, nice things are white. Cold things are young. All white, nice things are young. Kind, blue things are young. Young, cold things are blue. All blue things are rough. All nice, young things are blue.
Bob is blue.
@0: Bob is blue.[(triple1 OR ((triple4 triple6) -> rule8) OR ((triple6 triple2) -> rule6) OR ((triple4 ((triple2) -> rule3)) -> rule8) OR ((((triple2) -> rule3) triple2) -> rule6) OR ((triple4 ((((triple5 triple4) -> rule2) triple4) -> rule4)) -> rule8) OR ((((((triple5 triple4) -> rule2) triple4) -> rule4) triple2) -> rule6))] Bob is cold.[(triple2)] Bob is kind.[(triple3 OR ((((triple5 triple4) -> rule2)) -> rule1) OR ((((((triple1) -> rule7) triple4) -> rule2)) -> rule1) OR ((((((((triple4 triple6) -> rule8)) -> rule7) triple4) -> rule2)) -> rule1) OR ((((((((triple6 triple2) -> rule6)) -> rule7) triple4) -> rule2)) -> rule1) OR ((((((((triple4 ((triple2) -> rule3)) -> rule8)) -> rule7) triple4) -> rule2)) -> rule1) OR ((((((((((triple2) -> rule3) triple2) -> rule6)) -> rule7) triple4) -> rule2)) -> rule1))] Bob is nice.[(triple4)] Bob is rough.[(triple5 OR ((triple1) -> rule7) OR ((((triple4 triple6) -> rule8)) -> rule7) OR ((((triple6 triple2) -> rule6)) -> rule7) OR ((((triple4 ((triple2) -> rule3)) -> rule8)) -> rule7) OR ((((((triple2) -> rule3) triple2) -> rule6)) -> rule7))] Bob is young.[(triple6 OR ((triple2) -> rule3) OR ((triple3 triple1) -> rule5) OR ((((triple5 triple4) -> rule2) triple4) -> rule4) OR ((((((triple5 triple4) -> rule2)) -> rule1) triple1) -> rule5) OR ((((((triple1) -> rule7) triple4) -> rule2) triple4) -> rule4) OR ((((((((triple1) -> rule7) triple4) -> rule2)) -> rule1) triple1) -> rule5))] Charlie is blue.[(triple7 OR ((((triple8) -> rule3) triple8) -> rule6))] Charlie is cold.[(triple8)] Charlie is kind.[(triple9)] Gary is kind.[(triple10 OR ((((((((triple11 triple12) -> rule8)) -> rule7) triple11) -> rule2)) -> rule1))] Gary is nice.[(triple11)] Gary is young.[(triple12)] Harry is blue.[(triple13)] Harry is kind.[(triple14 OR ((triple15) -> rule1))] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple14 triple13) -> rule5) OR ((((triple15) -> rule1) triple13) -> rule5))] @1: Bob is white.[(((triple5 triple4) -> rule2) OR ((((triple1) -> rule7) triple4) -> rule2) OR ((((((triple4 triple6) -> rule8)) -> rule7) triple4) -> rule2) OR ((((((triple6 triple2) -> rule6)) -> rule7) triple4) -> rule2) OR ((((((triple4 ((triple2) -> rule3)) -> rule8)) -> rule7) triple4) -> rule2) OR ((((((((triple2) -> rule3) triple2) -> rule6)) -> rule7) triple4) -> rule2))] Charlie is rough.[(((triple7) -> rule7) OR ((((((triple8) -> rule3) triple8) -> rule6)) -> rule7))] Charlie is young.[(((triple8) -> rule3) OR ((triple9 triple7) -> rule5))] Gary is blue.[(((triple11 triple12) -> rule8))] Harry is rough.[(((triple13) -> rule7))] @2: Gary is rough.[(((((triple11 triple12) -> rule8)) -> rule7))] @3: Gary is white.[(((((((triple11 triple12) -> rule8)) -> rule7) triple11) -> rule2))]