Charlie is big. Charlie is furry. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Charlie is young. If Charlie is big then Charlie is nice. White people are furry. If Charlie is big and Charlie is round then Charlie is nice. All young, furry people are white. If Charlie is nice then Charlie is big. Nice, young people are white. Nice people are big. If Charlie is young then Charlie is big.
Charlie is nice.
@0: Charlie is big.[(triple1 OR ((triple3) -> rule5) OR ((triple3) -> rule7) OR ((triple7) -> rule8))] Charlie is furry.[(triple2 OR ((triple6) -> rule2) OR ((((triple3 triple7) -> rule6)) -> rule2) OR ((((((triple1) -> rule1) triple7) -> rule6)) -> rule2) OR ((((((triple1 triple5) -> rule3) triple7) -> rule6)) -> rule2) OR ((((((((triple7) -> rule8)) -> rule1) triple7) -> rule6)) -> rule2) OR ((((((((triple7) -> rule8) triple5) -> rule3) triple7) -> rule6)) -> rule2))] Charlie is nice.[(triple3 OR ((triple1) -> rule1) OR ((triple1 triple5) -> rule3) OR ((((triple7) -> rule8)) -> rule1) OR ((((triple7) -> rule8) triple5) -> rule3))] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6 OR ((triple3 triple7) -> rule6) OR ((triple7 triple2) -> rule4) OR ((((triple1) -> rule1) triple7) -> rule6) OR ((((triple1 triple5) -> rule3) triple7) -> rule6) OR ((((((triple7) -> rule8)) -> rule1) triple7) -> rule6) OR ((((((triple7) -> rule8) triple5) -> rule3) triple7) -> rule6))] Charlie is young.[(triple7)]