Bob is big. Bob is blue. Bob is green. Bob is nice. Bob is rough. Erin is big. Erin is blue. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is rough. Fiona is big. Fiona is blue. Fiona is green. Fiona is kind. If something is quiet and blue then it is nice. All nice things are green. If Erin is rough then Erin is blue. Big, nice things are blue. If something is nice then it is green. Big things are quiet.
Bob is not kind.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple1 triple4) -> rule4))] Bob is green.[(triple3 OR ((triple4) -> rule2) OR ((triple4) -> rule5) OR ((((((triple1) -> rule6) triple2) -> rule1)) -> rule2) OR ((((((triple1) -> rule6) triple2) -> rule1)) -> rule5))] Bob is nice.[(triple4 OR ((((triple1) -> rule6) triple2) -> rule1))] Bob is rough.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7 OR ((triple12) -> rule3) OR ((triple6 triple10) -> rule4))] Erin is green.[(triple8 OR ((triple10) -> rule2) OR ((triple10) -> rule5) OR ((((triple11 triple7) -> rule1)) -> rule2) OR ((((triple11 triple7) -> rule1)) -> rule5) OR ((((triple11 ((triple12) -> rule3)) -> rule1)) -> rule2) OR ((((triple11 ((triple12) -> rule3)) -> rule1)) -> rule5) OR ((((((triple6) -> rule6) triple7) -> rule1)) -> rule2) OR ((((((triple6) -> rule6) triple7) -> rule1)) -> rule5) OR ((((((triple6) -> rule6) ((triple12) -> rule3)) -> rule1)) -> rule2) OR ((((((triple6) -> rule6) ((triple12) -> rule3)) -> rule1)) -> rule5))] Erin is kind.[(triple9)] Erin is nice.[(triple10 OR ((triple11 triple7) -> rule1) OR ((triple11 ((triple12) -> rule3)) -> rule1) OR ((((triple6) -> rule6) triple7) -> rule1) OR ((((triple6) -> rule6) ((triple12) -> rule3)) -> rule1))] Erin is quiet.[(triple11 OR ((triple6) -> rule6))] Erin is rough.[(triple12)] Fiona is big.[(triple13)] Fiona is blue.[(triple14)] Fiona is green.[(triple15 OR ((((((triple13) -> rule6) triple14) -> rule1)) -> rule2) OR ((((((triple13) -> rule6) triple14) -> rule1)) -> rule5))] Fiona is kind.[(triple16)] @1: Bob is quiet.[(((triple1) -> rule6))] Fiona is quiet.[(((triple13) -> rule6))] @2: Fiona is nice.[(((((triple13) -> rule6) triple14) -> rule1))]