Anne is big. Anne is nice. Anne is round. Bob is nice. Bob is round. Dave is blue. Dave is red. Dave is smart. Erin is red. Erin is round. If someone is big and round then they are smart. All rough people are blue. Nice people are big. If someone is nice then they are round. Round, red people are rough. All round, smart people are red.
Bob is not blue.
@0: Anne is big.[(triple1 OR ((triple2) -> rule3))] Anne is nice.[(triple2)] Anne is round.[(triple3 OR ((triple2) -> rule4))] Bob is nice.[(triple4)] Bob is round.[(triple5 OR ((triple4) -> rule4))] Dave is blue.[(triple6)] Dave is red.[(triple7)] Dave is smart.[(triple8)] Erin is red.[(triple9)] Erin is round.[(triple10)] @1: Anne is smart.[(((triple1 triple3) -> rule1) OR ((triple1 ((triple2) -> rule4)) -> rule1) OR ((((triple2) -> rule3) triple3) -> rule1) OR ((((triple2) -> rule3) ((triple2) -> rule4)) -> rule1))] Bob is big.[(((triple4) -> rule3))] Erin is rough.[(((triple10 triple9) -> rule5))] @2: Anne is red.[(((triple3 ((triple1 triple3) -> rule1)) -> rule6) OR ((((triple2) -> rule4) ((triple1 triple3) -> rule1)) -> rule6) OR ((triple3 ((triple1 ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple2) -> rule3) triple3) -> rule1)) -> rule6) OR ((triple3 ((((triple2) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple2) -> rule4) ((triple1 ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple2) -> rule4) ((((triple2) -> rule3) triple3) -> rule1)) -> rule6) OR ((((triple2) -> rule4) ((((triple2) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6))] Bob is smart.[(((((triple4) -> rule3) triple5) -> rule1) OR ((((triple4) -> rule3) ((triple4) -> rule4)) -> rule1))] Erin is blue.[(((((triple10 triple9) -> rule5)) -> rule2))] @3: Anne is rough.[(((triple3 ((triple3 ((triple1 triple3) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((((triple2) -> rule4) ((triple1 triple3) -> rule1)) -> rule6)) -> rule5) OR ((((triple2) -> rule4) ((triple3 ((triple1 triple3) -> rule1)) -> rule6)) -> rule5) OR ((((triple2) -> rule4) ((((triple2) -> rule4) ((triple1 triple3) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((triple3 ((triple1 ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((triple3 ((((triple2) -> rule3) triple3) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((triple3 ((((triple2) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((((triple2) -> rule4) ((triple1 ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((((triple2) -> rule4) ((((triple2) -> rule3) triple3) -> rule1)) -> rule6)) -> rule5) OR ((((triple2) -> rule4) ((triple3 ((triple1 ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((((triple2) -> rule4) ((triple3 ((((triple2) -> rule3) triple3) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((((triple2) -> rule4) ((((triple2) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((((triple2) -> rule4) ((triple3 ((((triple2) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((((triple2) -> rule4) ((((triple2) -> rule4) ((triple1 ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((((triple2) -> rule4) ((((triple2) -> rule4) ((((triple2) -> rule3) triple3) -> rule1)) -> rule6)) -> rule5) OR ((((triple2) -> rule4) ((((triple2) -> rule4) ((((triple2) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5))] Bob is red.[(((triple5 ((((triple4) -> rule3) triple5) -> rule1)) -> rule6) OR ((triple5 ((((triple4) -> rule3) ((triple4) -> rule4)) -> rule1)) -> rule6) OR ((((triple4) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule6) OR ((((triple4) -> rule4) ((((triple4) -> rule3) ((triple4) -> rule4)) -> rule1)) -> rule6))] @4: Anne is blue.[(((((triple3 ((triple3 ((triple1 triple3) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((triple3 ((((triple2) -> rule4) ((triple1 triple3) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((triple3 ((triple1 triple3) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((triple1 triple3) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((triple3 ((triple3 ((triple1 ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((triple3 ((triple3 ((((triple2) -> rule3) triple3) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((triple3 ((triple3 ((((triple2) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((triple3 ((((triple2) -> rule4) ((triple1 ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((triple3 ((((triple2) -> rule4) ((((triple2) -> rule3) triple3) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((triple3 ((triple1 ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((triple3 ((((triple2) -> rule3) triple3) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((triple3 ((((triple2) -> rule4) ((((triple2) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((triple3 ((((triple2) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((triple1 ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((((triple2) -> rule3) triple3) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) ((((triple2) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule2))] Bob is rough.[(((triple5 ((triple5 ((((triple4) -> rule3) triple5) -> rule1)) -> rule6)) -> rule5) OR ((triple5 ((triple5 ((((triple4) -> rule3) ((triple4) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((triple5 ((((triple4) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule6)) -> rule5) OR ((((triple4) -> rule4) ((triple5 ((((triple4) -> rule3) triple5) -> rule1)) -> rule6)) -> rule5) OR ((triple5 ((((triple4) -> rule4) ((((triple4) -> rule3) ((triple4) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((((triple4) -> rule4) ((triple5 ((((triple4) -> rule3) ((triple4) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((((triple4) -> rule4) ((((triple4) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule6)) -> rule5) OR ((((triple4) -> rule4) ((((triple4) -> rule4) ((((triple4) -> rule3) ((triple4) -> rule4)) -> rule1)) -> rule6)) -> rule5))] @5: Bob is blue.[(((((triple5 ((triple5 ((((triple4) -> rule3) triple5) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((triple5 ((triple5 ((((triple4) -> rule3) ((triple4) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((triple5 ((((triple4) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((((triple4) -> rule4) ((triple5 ((((triple4) -> rule3) triple5) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((triple5 ((((triple4) -> rule4) ((((triple4) -> rule3) ((triple4) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((((triple4) -> rule4) ((triple5 ((((triple4) -> rule3) ((triple4) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((((triple4) -> rule4) ((((triple4) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((((triple4) -> rule4) ((((triple4) -> rule4) ((((triple4) -> rule3) ((triple4) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule2))]