Anne is big. Anne is blue. Anne is cold. Anne is kind. Anne is quiet. Anne is young. Bob is big. Bob is kind. Bob is nice. Bob is quiet. Bob is young. Gary is kind. Gary is nice. Gary is quiet. Gary is young. If Bob is blue and Bob is big then Bob is nice. If Anne is blue and Anne is quiet then Anne is nice. All blue people are young. Young people are big. All quiet people are big. All kind, blue people are quiet. Big people are blue. If someone is blue and cold then they are nice.
Gary is not big.
@0: Anne is big.[(triple1 OR ((triple5) -> rule5) OR ((triple6) -> rule4) OR ((((triple2) -> rule3)) -> rule4) OR ((((triple4 triple2) -> rule6)) -> rule5))] Anne is blue.[(triple2 OR ((triple1) -> rule7) OR ((((triple5) -> rule5)) -> rule7) OR ((((triple6) -> rule4)) -> rule7))] Anne is cold.[(triple3)] Anne is kind.[(triple4)] Anne is quiet.[(triple5 OR ((triple4 triple2) -> rule6) OR ((triple4 ((triple1) -> rule7)) -> rule6) OR ((triple4 ((((triple6) -> rule4)) -> rule7)) -> rule6))] Anne is young.[(triple6 OR ((triple2) -> rule3) OR ((((triple1) -> rule7)) -> rule3) OR ((((((triple5) -> rule5)) -> rule7)) -> rule3))] Bob is big.[(triple7 OR ((triple10) -> rule5) OR ((triple11) -> rule4))] Bob is kind.[(triple8)] Bob is nice.[(triple9 OR ((((triple7) -> rule7) triple7) -> rule1) OR ((((triple7) -> rule7) ((triple10) -> rule5)) -> rule1) OR ((((triple7) -> rule7) ((triple11) -> rule4)) -> rule1) OR ((((((triple10) -> rule5)) -> rule7) triple7) -> rule1) OR ((((((triple11) -> rule4)) -> rule7) triple7) -> rule1) OR ((((((triple10) -> rule5)) -> rule7) ((triple10) -> rule5)) -> rule1) OR ((((((triple10) -> rule5)) -> rule7) ((triple11) -> rule4)) -> rule1) OR ((((((triple11) -> rule4)) -> rule7) ((triple10) -> rule5)) -> rule1) OR ((((((triple11) -> rule4)) -> rule7) ((triple11) -> rule4)) -> rule1))] Bob is quiet.[(triple10 OR ((triple8 ((triple7) -> rule7)) -> rule6) OR ((triple8 ((((triple11) -> rule4)) -> rule7)) -> rule6))] Bob is young.[(triple11 OR ((((triple7) -> rule7)) -> rule3) OR ((((((triple10) -> rule5)) -> rule7)) -> rule3))] Gary is kind.[(triple12)] Gary is nice.[(triple13)] Gary is quiet.[(triple14 OR ((triple12 ((((triple15) -> rule4)) -> rule7)) -> rule6))] Gary is young.[(triple15 OR ((((((triple14) -> rule5)) -> rule7)) -> rule3))] @1: Anne is nice.[(((triple2 triple3) -> rule8) OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple4 triple2) -> rule6)) -> rule2) OR ((((triple1) -> rule7) triple3) -> rule8) OR ((((triple1) -> rule7) triple5) -> rule2) OR ((((triple1) -> rule7) ((triple4 triple2) -> rule6)) -> rule2) OR ((triple2 ((triple4 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((((triple5) -> rule5)) -> rule7) triple3) -> rule8) OR ((((((triple5) -> rule5)) -> rule7) triple5) -> rule2) OR ((((((triple6) -> rule4)) -> rule7) triple3) -> rule8) OR ((((((triple6) -> rule4)) -> rule7) triple5) -> rule2) OR ((((triple1) -> rule7) ((triple4 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((((triple5) -> rule5)) -> rule7) ((triple4 triple2) -> rule6)) -> rule2) OR ((((((triple6) -> rule4)) -> rule7) ((triple4 triple2) -> rule6)) -> rule2) OR ((((((triple5) -> rule5)) -> rule7) ((triple4 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((((triple6) -> rule4)) -> rule7) ((triple4 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((triple2 ((triple4 ((((triple6) -> rule4)) -> rule7)) -> rule6)) -> rule2) OR ((((triple1) -> rule7) ((triple4 ((((triple6) -> rule4)) -> rule7)) -> rule6)) -> rule2) OR ((((((triple5) -> rule5)) -> rule7) ((triple4 ((((triple6) -> rule4)) -> rule7)) -> rule6)) -> rule2) OR ((((((triple6) -> rule4)) -> rule7) ((triple4 ((((triple6) -> rule4)) -> rule7)) -> rule6)) -> rule2))] Bob is blue.[(((triple7) -> rule7) OR ((((triple10) -> rule5)) -> rule7) OR ((((triple11) -> rule4)) -> rule7))] Gary is big.[(((triple14) -> rule5) OR ((triple15) -> rule4))] @2: Gary is blue.[(((((triple14) -> rule5)) -> rule7) OR ((((triple15) -> rule4)) -> rule7))]