Anne is young. Bob is big. Bob is cold. Bob is nice. Bob is rough. Bob is white. Bob is young. Nice, young things are white. If something is big then it is rough. If Bob is nice and Bob is young then Bob is cold. All white things are big. Young things are nice. All cold things are rough. If something is rough then it is big. All furry things are young.
Bob is rough.
@0: Anne is young.[(triple1)] Bob is big.[(triple2 OR ((triple5) -> rule7) OR ((triple6) -> rule4) OR ((((triple3) -> rule6)) -> rule7) OR ((((triple4 triple7) -> rule1)) -> rule4) OR ((((((triple4 triple7) -> rule3)) -> rule6)) -> rule7) OR ((((((triple7) -> rule5) triple7) -> rule1)) -> rule4) OR ((((((((triple7) -> rule5) triple7) -> rule3)) -> rule6)) -> rule7))] Bob is cold.[(triple3 OR ((triple4 triple7) -> rule3) OR ((((triple7) -> rule5) triple7) -> rule3))] Bob is nice.[(triple4 OR ((triple7) -> rule5))] Bob is rough.[(triple5 OR ((triple2) -> rule2) OR ((triple3) -> rule6) OR ((((triple6) -> rule4)) -> rule2) OR ((((triple4 triple7) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule1)) -> rule4)) -> rule2) OR ((((((triple7) -> rule5) triple7) -> rule3)) -> rule6) OR ((((((((triple7) -> rule5) triple7) -> rule1)) -> rule4)) -> rule2))] Bob is white.[(triple6 OR ((triple4 triple7) -> rule1) OR ((((triple7) -> rule5) triple7) -> rule1))] Bob is young.[(triple7)] @1: Anne is nice.[(((triple1) -> rule5))] @2: Anne is white.[(((((triple1) -> rule5) triple1) -> rule1))] @3: Anne is big.[(((((((triple1) -> rule5) triple1) -> rule1)) -> rule4))] @4: Anne is rough.[(((((((((triple1) -> rule5) triple1) -> rule1)) -> rule4)) -> rule2))]