Bob is big. Bob is green. Bob is nice. Bob is quiet. Bob is red. Charlie is big. Charlie is blue. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is white. Harry is big. Harry is green. Harry is quiet. Harry is red. All nice, red people are blue. If someone is red then they are big. White people are nice. If someone is quiet then they are blue. All blue, big people are white. Blue people are big.
Bob is not big.
@0: Bob is big.[(triple1 OR ((triple5) -> rule2) OR ((((triple4) -> rule4)) -> rule6) OR ((((triple3 triple5) -> rule1)) -> rule6))] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((((((triple4) -> rule4) triple1) -> rule5)) -> rule3) OR ((((((triple4) -> rule4) ((triple5) -> rule2)) -> rule5)) -> rule3) OR ((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule6)) -> rule5)) -> rule3))] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Charlie is big.[(triple6 OR ((triple7) -> rule6) OR ((((triple10) -> rule4)) -> rule6))] Charlie is blue.[(triple7 OR ((triple10) -> rule4))] Charlie is green.[(triple8)] Charlie is nice.[(triple9 OR ((triple11) -> rule3) OR ((((triple7 triple6) -> rule5)) -> rule3) OR ((((triple7 ((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule4) triple6) -> rule5)) -> rule3) OR ((((((triple10) -> rule4) ((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((triple7 ((((triple10) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule6)) -> rule5)) -> rule3))] Charlie is quiet.[(triple10)] Charlie is white.[(triple11 OR ((triple7 triple6) -> rule5) OR ((triple7 ((triple7) -> rule6)) -> rule5) OR ((((triple10) -> rule4) triple6) -> rule5) OR ((((triple10) -> rule4) ((triple7) -> rule6)) -> rule5) OR ((triple7 ((((triple10) -> rule4)) -> rule6)) -> rule5) OR ((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule6)) -> rule5))] Harry is big.[(triple12 OR ((triple15) -> rule2) OR ((((triple14) -> rule4)) -> rule6))] Harry is green.[(triple13)] Harry is quiet.[(triple14)] Harry is red.[(triple15)] @1: Bob is blue.[(((triple4) -> rule4) OR ((triple3 triple5) -> rule1))] Harry is blue.[(((triple14) -> rule4))] @2: Bob is white.[(((((triple4) -> rule4) triple1) -> rule5) OR ((((triple3 triple5) -> rule1) triple1) -> rule5) OR ((((triple4) -> rule4) ((triple5) -> rule2)) -> rule5) OR ((((triple3 triple5) -> rule1) ((triple5) -> rule2)) -> rule5) OR ((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule6)) -> rule5) OR ((((triple4) -> rule4) ((((triple3 triple5) -> rule1)) -> rule6)) -> rule5) OR ((((triple3 triple5) -> rule1) ((((triple4) -> rule4)) -> rule6)) -> rule5) OR ((((triple3 triple5) -> rule1) ((((triple3 triple5) -> rule1)) -> rule6)) -> rule5))] Harry is white.[(((((triple14) -> rule4) triple12) -> rule5) OR ((((triple14) -> rule4) ((triple15) -> rule2)) -> rule5) OR ((((triple14) -> rule4) ((((triple14) -> rule4)) -> rule6)) -> rule5))] @3: Harry is nice.[(((((((triple14) -> rule4) triple12) -> rule5)) -> rule3) OR ((((((triple14) -> rule4) ((triple15) -> rule2)) -> rule5)) -> rule3) OR ((((((triple14) -> rule4) ((((triple14) -> rule4)) -> rule6)) -> rule5)) -> rule3))]