Anne is nice. Anne is round. Bob is nice. Bob is red. Bob is round. Bob is young. Charlie is big. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is young. Fiona is big. Fiona is quiet. Fiona is round. If Fiona is big and Fiona is nice then Fiona is young. Nice people are round. Quiet, round people are young. If someone is red then they are young. Quiet people are big. All big, quiet people are nice.
Bob is nice.
@0: Anne is nice.[(triple1)] Anne is round.[(triple2 OR ((triple1) -> rule2))] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5 OR ((triple3) -> rule2))] Bob is young.[(triple6 OR ((triple4) -> rule4))] Charlie is big.[(triple7 OR ((triple9) -> rule5))] Charlie is nice.[(triple8 OR ((triple7 triple9) -> rule6) OR ((((triple9) -> rule5) triple9) -> rule6))] Charlie is quiet.[(triple9)] Charlie is red.[(triple10)] Charlie is round.[(triple11 OR ((triple8) -> rule2) OR ((((triple7 triple9) -> rule6)) -> rule2) OR ((((((triple9) -> rule5) triple9) -> rule6)) -> rule2))] Charlie is young.[(triple12 OR ((triple10) -> rule4) OR ((triple9 triple11) -> rule3) OR ((triple9 ((triple8) -> rule2)) -> rule3) OR ((triple9 ((((triple7 triple9) -> rule6)) -> rule2)) -> rule3) OR ((triple9 ((((((triple9) -> rule5) triple9) -> rule6)) -> rule2)) -> rule3))] Fiona is big.[(triple13 OR ((triple14) -> rule5))] Fiona is quiet.[(triple14)] Fiona is round.[(triple15 OR ((((triple13 triple14) -> rule6)) -> rule2) OR ((((((triple14) -> rule5) triple14) -> rule6)) -> rule2))] @1: Fiona is nice.[(((triple13 triple14) -> rule6) OR ((((triple14) -> rule5) triple14) -> rule6))] Fiona is young.[(((triple14 triple15) -> rule3) OR ((triple13 ((triple13 triple14) -> rule6)) -> rule1) OR ((((triple14) -> rule5) ((triple13 triple14) -> rule6)) -> rule1) OR ((triple13 ((((triple14) -> rule5) triple14) -> rule6)) -> rule1) OR ((triple14 ((((triple13 triple14) -> rule6)) -> rule2)) -> rule3) OR ((((triple14) -> rule5) ((((triple14) -> rule5) triple14) -> rule6)) -> rule1) OR ((triple14 ((((((triple14) -> rule5) triple14) -> rule6)) -> rule2)) -> rule3))]