Anne is big. Anne is green. Anne is nice. Anne is quiet. Anne is rough. Anne is young. Bob is green. Bob is quiet. Bob is rough. Gary is green. If someone is young and nice then they are cold. Cold people are nice. All young people are big. If someone is cold and quiet then they are big. If someone is nice and young then they are big. All quiet people are nice. Young, rough people are big. Quiet, big people are cold.
Anne is not nice.
@0: Anne is big.[(triple1 OR ((triple6) -> rule3) OR ((triple3 triple6) -> rule5) OR ((triple6 triple5) -> rule7) OR ((((triple4) -> rule6) triple6) -> rule5) OR ((((triple6 triple3) -> rule1) triple4) -> rule4) OR ((((triple6 ((triple4) -> rule6)) -> rule1) triple4) -> rule4))] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple4) -> rule6) OR ((((triple4 triple1) -> rule8)) -> rule2) OR ((((triple4 ((triple6) -> rule3)) -> rule8)) -> rule2) OR ((((triple4 ((triple6 triple5) -> rule7)) -> rule8)) -> rule2))] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is young.[(triple6)] Bob is green.[(triple7)] Bob is quiet.[(triple8)] Bob is rough.[(triple9)] Gary is green.[(triple10)] @1: Anne is cold.[(((triple4 triple1) -> rule8) OR ((triple6 triple3) -> rule1) OR ((triple4 ((triple6) -> rule3)) -> rule8) OR ((triple4 ((triple3 triple6) -> rule5)) -> rule8) OR ((triple4 ((triple6 triple5) -> rule7)) -> rule8) OR ((triple6 ((triple4) -> rule6)) -> rule1) OR ((triple4 ((((triple4) -> rule6) triple6) -> rule5)) -> rule8))] Bob is nice.[(((triple8) -> rule6))]