Anne is cold. Dave is cold. Dave is white. Gary is rough. Gary is smart. Gary is white. Harry is big. Harry is blue. Harry is rough. Harry is smart. Harry is white. Harry is young. Cold things are rough. Blue things are cold. Cold, young things are big. All cold, white things are rough. Rough things are big. Big things are white. Blue things are rough. Rough things are smart.
Anne is young.
@0: Anne is cold.[(triple1)] Dave is cold.[(triple2)] Dave is white.[(triple3 OR ((((((triple2) -> rule1)) -> rule5)) -> rule6))] Gary is rough.[(triple4)] Gary is smart.[(triple5 OR ((triple4) -> rule8))] Gary is white.[(triple6 OR ((((triple4) -> rule5)) -> rule6))] Harry is big.[(triple7 OR ((triple9) -> rule5) OR ((((triple8) -> rule7)) -> rule5) OR ((((triple8) -> rule2) triple12) -> rule3) OR ((((((triple8) -> rule2)) -> rule1)) -> rule5) OR ((((((triple8) -> rule2) triple11) -> rule4)) -> rule5))] Harry is blue.[(triple8)] Harry is rough.[(triple9 OR ((triple8) -> rule7) OR ((((triple8) -> rule2)) -> rule1) OR ((((triple8) -> rule2) triple11) -> rule4) OR ((((triple8) -> rule2) ((triple7) -> rule6)) -> rule4) OR ((((triple8) -> rule2) ((((((triple8) -> rule2) triple12) -> rule3)) -> rule6)) -> rule4))] Harry is smart.[(triple10 OR ((triple9) -> rule8) OR ((((triple8) -> rule7)) -> rule8) OR ((((((triple8) -> rule2)) -> rule1)) -> rule8) OR ((((((triple8) -> rule2) triple11) -> rule4)) -> rule8) OR ((((((triple8) -> rule2) ((triple7) -> rule6)) -> rule4)) -> rule8) OR ((((((triple8) -> rule2) ((((((triple8) -> rule2) triple12) -> rule3)) -> rule6)) -> rule4)) -> rule8))] Harry is white.[(triple11 OR ((triple7) -> rule6) OR ((((triple9) -> rule5)) -> rule6) OR ((((((triple8) -> rule7)) -> rule5)) -> rule6) OR ((((((triple8) -> rule2) triple12) -> rule3)) -> rule6) OR ((((((((triple8) -> rule2)) -> rule1)) -> rule5)) -> rule6))] Harry is young.[(triple12)] @1: Anne is rough.[(((triple1) -> rule1))] Dave is rough.[(((triple2) -> rule1) OR ((triple2 triple3) -> rule4))] Gary is big.[(((triple4) -> rule5))] Harry is cold.[(((triple8) -> rule2))] @2: Anne is big.[(((((triple1) -> rule1)) -> rule5))] Anne is smart.[(((((triple1) -> rule1)) -> rule8))] Dave is big.[(((((triple2) -> rule1)) -> rule5) OR ((((triple2 triple3) -> rule4)) -> rule5))] Dave is smart.[(((((triple2) -> rule1)) -> rule8) OR ((((triple2 triple3) -> rule4)) -> rule8))] @3: Anne is white.[(((((((triple1) -> rule1)) -> rule5)) -> rule6))]