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