Anne is nice. Bob is big. Bob is blue. Bob is cold. Charlie is big. Charlie is cold. Charlie is nice. Charlie is young. Fiona is furry. Fiona is young. If someone is furry and nice then they are cold. If Bob is blue and Bob is big then Bob is cold. All blue, cold people are big. If someone is nice then they are smart. All smart, big people are nice. All smart people are blue. Blue, smart people are furry. Furry, cold people are smart. Cold people are big.
Bob is young.
@0: Anne is nice.[(triple1)] Bob is big.[(triple2 OR ((triple4) -> rule9) OR ((triple3 triple4) -> rule3))] Bob is blue.[(triple3)] Bob is cold.[(triple4 OR ((triple3 triple2) -> rule2))] Charlie is big.[(triple5 OR ((triple6) -> rule9) OR ((((((triple7) -> rule4)) -> rule6) triple6) -> rule3) OR ((((((((((triple7) -> rule4)) -> rule6) ((triple7) -> rule4)) -> rule7) triple7) -> rule1)) -> rule9) OR ((((((triple7) -> rule4)) -> rule6) ((((((((triple7) -> rule4)) -> rule6) ((triple7) -> rule4)) -> rule7) triple7) -> rule1)) -> rule3))] Charlie is cold.[(triple6 OR ((((((((triple7) -> rule4)) -> rule6) ((triple7) -> rule4)) -> rule7) triple7) -> rule1))] Charlie is nice.[(triple7)] Charlie is young.[(triple8)] Fiona is furry.[(triple9)] Fiona is young.[(triple10)] @1: Anne is smart.[(((triple1) -> rule4))] Charlie is smart.[(((triple7) -> rule4))] @2: Anne is blue.[(((((triple1) -> rule4)) -> rule6))] Charlie is blue.[(((((triple7) -> rule4)) -> rule6))] @3: Anne is furry.[(((((((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule7))] Charlie is furry.[(((((((triple7) -> rule4)) -> rule6) ((triple7) -> rule4)) -> rule7))] @4: Anne is cold.[(((((((((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule7) triple1) -> rule1))] @5: Anne is big.[(((((((((((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule7) triple1) -> rule1)) -> rule9) OR ((((((triple1) -> rule4)) -> rule6) ((((((((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule7) triple1) -> rule1)) -> rule3))]