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