Bob is big. Bob is furry. Bob is rough. Bob is young. Dave is big. Dave is cold. Dave is furry. Dave is rough. Dave is smart. Dave is white. Dave is young. Harry is big. Harry is cold. Harry is furry. Harry is smart. Harry is white. Furry things are cold. All big, cold things are rough. Furry, young things are cold. All cold, young things are white. Smart things are white. Young, smart things are big.
Harry is not rough.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is rough.[(triple3 OR ((triple1 ((triple2) -> rule1)) -> rule2) OR ((triple1 ((triple2 triple4) -> rule3)) -> rule2))] Bob is young.[(triple4)] Dave is big.[(triple5 OR ((triple11 triple9) -> rule6))] Dave is cold.[(triple6 OR ((triple7) -> rule1) OR ((triple7 triple11) -> rule3))] Dave is furry.[(triple7)] Dave is rough.[(triple8 OR ((triple5 triple6) -> rule2) OR ((triple5 ((triple7) -> rule1)) -> rule2) OR ((triple5 ((triple7 triple11) -> rule3)) -> rule2) OR ((((triple11 triple9) -> rule6) triple6) -> rule2) OR ((((triple11 triple9) -> rule6) ((triple7) -> rule1)) -> rule2) OR ((((triple11 triple9) -> rule6) ((triple7 triple11) -> rule3)) -> rule2))] Dave is smart.[(triple9)] Dave is white.[(triple10 OR ((triple9) -> rule5) OR ((triple6 triple11) -> rule4) OR ((((triple7) -> rule1) triple11) -> rule4) OR ((((triple7 triple11) -> rule3) triple11) -> rule4))] Dave is young.[(triple11)] Harry is big.[(triple12)] Harry is cold.[(triple13 OR ((triple14) -> rule1))] Harry is furry.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16 OR ((triple15) -> rule5))] @1: Bob is cold.[(((triple2) -> rule1) OR ((triple2 triple4) -> rule3))] Harry is rough.[(((triple12 triple13) -> rule2) OR ((triple12 ((triple14) -> rule1)) -> rule2))] @2: Bob is white.[(((((triple2) -> rule1) triple4) -> rule4) OR ((((triple2 triple4) -> rule3) triple4) -> rule4))]