Anne is kind. Anne is quiet. Anne is smart. Bob is kind. Bob is nice. Bob is smart. Fiona is not nice. Fiona is red. Gary is nice. Gary is white. If Bob is kind then Bob is smart. If something is kind and nice then it is smart. If something is nice and red then it is smart. If something is quiet and not nice then it is smart. All green things are kind. If Anne is quiet and Anne is white then Anne is kind. If Fiona is not nice then Fiona is green. All smart, kind things are white. If something is kind and green then it is quiet.
Anne is quiet.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is smart.[(triple6 OR ((triple4) -> rule1) OR ((triple4 triple5) -> rule2))] Fiona is not nice.[(triple7)] Fiona is red.[(triple8)] Gary is nice.[(triple9)] Gary is white.[(triple10)] @1: Anne is white.[(((triple3 triple1) -> rule8))] Bob is white.[(((triple6 triple4) -> rule8) OR ((((triple4) -> rule1) triple4) -> rule8) OR ((((triple4 triple5) -> rule2) triple4) -> rule8))] Fiona is green.[(((triple7) -> rule7))] @2: Fiona is kind.[(((((triple7) -> rule7)) -> rule5))] @3: Fiona is quiet.[(((((((triple7) -> rule7)) -> rule5) ((triple7) -> rule7)) -> rule9))] @4: Fiona is smart.[(((((((((triple7) -> rule7)) -> rule5) ((triple7) -> rule7)) -> rule9) triple7) -> rule4))] @5: Fiona is white.[(((((((((((triple7) -> rule7)) -> rule5) ((triple7) -> rule7)) -> rule9) triple7) -> rule4) ((((triple7) -> rule7)) -> rule5)) -> rule8))]