Anne is big. Anne is green. Anne is white. Anne is young. Dave is big. Dave is green. Dave is kind. Dave is red. Dave is round. Dave is white. Dave is young. Fiona is big. Fiona is green. Fiona is red. Fiona is round. Fiona is white. All red, white things are young. If something is big and round then it is white. If Fiona is round and Fiona is white then Fiona is young. All green things are white. Green, kind things are white. Kind, round things are white.
Fiona is big.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is white.[(triple3 OR ((triple2) -> rule4))] Anne is young.[(triple4)] Dave is big.[(triple5)] Dave is green.[(triple6)] Dave is kind.[(triple7)] Dave is red.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10 OR ((triple6) -> rule4) OR ((triple5 triple9) -> rule2) OR ((triple6 triple7) -> rule5) OR ((triple7 triple9) -> rule6))] Dave is young.[(triple11 OR ((triple8 triple10) -> rule1) OR ((triple8 ((triple6) -> rule4)) -> rule1) OR ((triple8 ((triple5 triple9) -> rule2)) -> rule1) OR ((triple8 ((triple6 triple7) -> rule5)) -> rule1) OR ((triple8 ((triple7 triple9) -> rule6)) -> rule1))] Fiona is big.[(triple12)] Fiona is green.[(triple13)] Fiona is red.[(triple14)] Fiona is round.[(triple15)] Fiona is white.[(triple16 OR ((triple13) -> rule4) OR ((triple12 triple15) -> rule2))] @1: Fiona is young.[(((triple14 triple16) -> rule1) OR ((triple15 triple16) -> rule3) OR ((triple14 ((triple13) -> rule4)) -> rule1) OR ((triple14 ((triple12 triple15) -> rule2)) -> rule1) OR ((triple15 ((triple13) -> rule4)) -> rule3) OR ((triple15 ((triple12 triple15) -> rule2)) -> rule3))]