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