Anne is big. Anne is cold. Anne is red. Bob is big. Bob is furry. Bob is red. Bob is rough. Bob is smart. Bob is young. Charlie is cold. Charlie is red. Charlie is smart. Charlie is young. Harry is smart. If Charlie is cold and Charlie is big then Charlie is young. All cold, rough things are furry. All smart things are young. Smart, red things are rough. All furry things are rough. Big things are red. All young things are big. Rough, big things are furry.
Anne is young.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3 OR ((triple1) -> rule6))] Bob is big.[(triple4 OR ((triple9) -> rule7) OR ((((triple8) -> rule3)) -> rule7))] Bob is furry.[(triple5 OR ((triple7 triple4) -> rule8) OR ((triple7 ((triple9) -> rule7)) -> rule8) OR ((((triple8 triple6) -> rule4) triple4) -> rule8) OR ((((triple8 triple6) -> rule4) ((triple9) -> rule7)) -> rule8) OR ((triple7 ((((triple8) -> rule3)) -> rule7)) -> rule8) OR ((((triple8 ((triple4) -> rule6)) -> rule4) triple4) -> rule8) OR ((((triple8 triple6) -> rule4) ((((triple8) -> rule3)) -> rule7)) -> rule8) OR ((((triple8 ((triple4) -> rule6)) -> rule4) ((triple9) -> rule7)) -> rule8) OR ((((triple8 ((triple4) -> rule6)) -> rule4) ((((triple8) -> rule3)) -> rule7)) -> rule8) OR ((((triple8 ((((triple9) -> rule7)) -> rule6)) -> rule4) triple4) -> rule8) OR ((((triple8 ((((triple9) -> rule7)) -> rule6)) -> rule4) ((triple9) -> rule7)) -> rule8) OR ((((triple8 ((((triple9) -> rule7)) -> rule6)) -> rule4) ((((triple8) -> rule3)) -> rule7)) -> rule8) OR ((((triple8 ((((((triple8) -> rule3)) -> rule7)) -> rule6)) -> rule4) triple4) -> rule8) OR ((((triple8 ((((((triple8) -> rule3)) -> rule7)) -> rule6)) -> rule4) ((triple9) -> rule7)) -> rule8) OR ((((triple8 ((((((triple8) -> rule3)) -> rule7)) -> rule6)) -> rule4) ((((triple8) -> rule3)) -> rule7)) -> rule8))] Bob is red.[(triple6 OR ((triple4) -> rule6) OR ((((triple9) -> rule7)) -> rule6) OR ((((((triple8) -> rule3)) -> rule7)) -> rule6))] Bob is rough.[(triple7 OR ((triple5) -> rule5) OR ((triple8 triple6) -> rule4) OR ((triple8 ((triple4) -> rule6)) -> rule4) OR ((triple8 ((((triple9) -> rule7)) -> rule6)) -> rule4) OR ((triple8 ((((((triple8) -> rule3)) -> rule7)) -> rule6)) -> rule4))] Bob is smart.[(triple8)] Bob is young.[(triple9 OR ((triple8) -> rule3))] Charlie is cold.[(triple10)] Charlie is red.[(triple11 OR ((((triple13) -> rule7)) -> rule6) OR ((((((triple12) -> rule3)) -> rule7)) -> rule6))] Charlie is smart.[(triple12)] Charlie is young.[(triple13 OR ((triple12) -> rule3))] Harry is smart.[(triple14)] @1: Charlie is big.[(((triple13) -> rule7) OR ((((triple12) -> rule3)) -> rule7))] Charlie is rough.[(((triple12 triple11) -> rule4) OR ((triple12 ((((triple13) -> rule7)) -> rule6)) -> rule4) OR ((triple12 ((((((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule4))] Harry is young.[(((triple14) -> rule3))] @2: Charlie is furry.[(((triple10 ((triple12 triple11) -> rule4)) -> rule2) OR ((((triple12 triple11) -> rule4) ((triple13) -> rule7)) -> rule8) OR ((((triple12 triple11) -> rule4) ((((triple12) -> rule3)) -> rule7)) -> rule8) OR ((triple10 ((triple12 ((((triple13) -> rule7)) -> rule6)) -> rule4)) -> rule2) OR ((((triple12 ((((triple13) -> rule7)) -> rule6)) -> rule4) ((triple13) -> rule7)) -> rule8) OR ((((triple12 ((((triple13) -> rule7)) -> rule6)) -> rule4) ((((triple12) -> rule3)) -> rule7)) -> rule8) OR ((triple10 ((triple12 ((((((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule4)) -> rule2) OR ((((triple12 ((((((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule4) ((triple13) -> rule7)) -> rule8) OR ((((triple12 ((((((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule4) ((((triple12) -> rule3)) -> rule7)) -> rule8))] Harry is big.[(((((triple14) -> rule3)) -> rule7))] @3: Harry is red.[(((((((triple14) -> rule3)) -> rule7)) -> rule6))] @4: Harry is rough.[(((triple14 ((((((triple14) -> rule3)) -> rule7)) -> rule6)) -> rule4))] @5: Harry is furry.[(((((triple14 ((((((triple14) -> rule3)) -> rule7)) -> rule6)) -> rule4) ((((triple14) -> rule3)) -> rule7)) -> rule8))]