Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is rough. Bob is round. Bob is white. Erin is furry. Erin is green. Erin is kind. Erin is round. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is rough. Blue, white people are furry. If Bob is green then Bob is round. If someone is green and kind then they are rough. All kind, rough people are furry. If Bob is round then Bob is rough. Furry, blue people are kind. If Bob is rough then Bob is green. All rough, green people are blue.
Erin is rough.
@0: Bob is blue.[(triple1 OR ((triple5 triple3) -> rule8) OR ((triple5 ((triple5) -> rule7)) -> rule8) OR ((((triple6) -> rule5) triple3) -> rule8) OR ((((triple3 triple4) -> rule3) triple3) -> rule8) OR ((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8) OR ((((triple3 triple4) -> rule3) ((triple5) -> rule7)) -> rule8) OR ((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8) OR ((((((triple3) -> rule2)) -> rule5) triple3) -> rule8) OR ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) OR ((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8) OR ((((triple3 triple4) -> rule3) ((((triple6) -> rule5)) -> rule7)) -> rule8) OR ((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8))] Bob is furry.[(triple2 OR ((triple1 triple7) -> rule1) OR ((triple4 triple5) -> rule4) OR ((triple4 ((triple6) -> rule5)) -> rule4) OR ((triple4 ((triple3 triple4) -> rule3)) -> rule4) OR ((((triple5 triple3) -> rule8) triple7) -> rule1) OR ((triple4 ((((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((triple5 ((triple5) -> rule7)) -> rule8) triple7) -> rule1) OR ((((((triple6) -> rule5) triple3) -> rule8) triple7) -> rule1) OR ((((((triple3 triple4) -> rule3) triple3) -> rule8) triple7) -> rule1) OR ((((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) OR ((((((triple3 triple4) -> rule3) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) OR ((((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) OR ((((((((triple3) -> rule2)) -> rule5) triple3) -> rule8) triple7) -> rule1) OR ((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) OR ((((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) OR ((((((triple3 triple4) -> rule3) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) OR ((((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1))] Bob is green.[(triple3 OR ((triple5) -> rule7) OR ((((triple6) -> rule5)) -> rule7))] Bob is kind.[(triple4 OR ((triple2 triple1) -> rule6) OR ((triple2 ((triple5 triple3) -> rule8)) -> rule6) OR ((((triple1 triple7) -> rule1) triple1) -> rule6) OR ((((triple1 triple7) -> rule1) ((triple5 triple3) -> rule8)) -> rule6) OR ((triple2 ((triple5 ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((triple2 ((((triple6) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((triple5 triple3) -> rule8) triple7) -> rule1) triple1) -> rule6) OR ((triple2 ((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((triple1 triple7) -> rule1) ((triple5 ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((triple1 triple7) -> rule1) ((((triple6) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((triple5 triple3) -> rule8) triple7) -> rule1) ((triple5 triple3) -> rule8)) -> rule6) OR ((((triple1 triple7) -> rule1) ((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 triple3) -> rule8) triple7) -> rule1) ((triple5 ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 triple3) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((triple5 triple3) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((triple2 ((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((triple2 ((((((triple3) -> rule2)) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((triple5 ((triple5) -> rule7)) -> rule8) triple7) -> rule1) triple1) -> rule6) OR ((((((((triple6) -> rule5) triple3) -> rule8) triple7) -> rule1) triple1) -> rule6) OR ((triple2 ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((triple2 ((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((triple1 triple7) -> rule1) ((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((triple1 triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((triple5 ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 triple3) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) triple3) -> rule8) triple7) -> rule1) ((triple5 triple3) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) triple1) -> rule6) OR ((triple2 ((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((triple1 triple7) -> rule1) ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((triple1 triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 triple3) -> rule8) triple7) -> rule1) ((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 triple3) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((triple5 ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) triple3) -> rule8) triple7) -> rule1) ((triple5 ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) triple3) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 triple3) -> rule8)) -> rule6) OR ((((triple1 triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 triple3) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 triple3) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) triple3) -> rule8) triple7) -> rule1) ((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) triple3) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) triple3) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((triple5 triple3) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) triple3) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) triple3) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((triple5 ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) triple3) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) triple1) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) triple3) -> rule8) triple7) -> rule1) triple1) -> rule6) OR ((((((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 triple3) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) triple1) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) triple3) -> rule8) triple7) -> rule1) ((triple5 triple3) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) triple1) -> rule6) OR ((((((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 triple3) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) triple3) -> rule8) triple7) -> rule1) ((triple5 ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) triple3) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 triple3) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) triple1) -> rule6) OR ((((((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) triple3) -> rule8) triple7) -> rule1) ((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) triple3) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) triple3) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 triple3) -> rule8)) -> rule6) OR ((((((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) triple3) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) triple3) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) triple3) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) triple3) -> rule8)) -> rule6) OR ((((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8) triple7) -> rule1) ((((((triple3) -> rule2)) -> rule5) ((((triple6) -> rule5)) -> rule7)) -> rule8)) -> rule6))] Bob is rough.[(triple5 OR ((triple6) -> rule5) OR ((triple3 triple4) -> rule3) OR ((((triple3) -> rule2)) -> rule5) OR ((triple3 ((triple2 triple1) -> rule6)) -> rule3) OR ((triple3 ((((triple1 triple7) -> rule1) triple1) -> rule6)) -> rule3))] Bob is round.[(triple6 OR ((triple3) -> rule2) OR ((((triple5) -> rule7)) -> rule2))] Bob is white.[(triple7)] Erin is furry.[(triple8 OR ((triple10 ((triple9 triple10) -> rule3)) -> rule4))] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is round.[(triple11)] Fiona is blue.[(triple12)] Fiona is furry.[(triple13 OR ((triple14 triple15) -> rule4))] Fiona is kind.[(triple14 OR ((triple13 triple12) -> rule6))] Fiona is rough.[(triple15)] @1: Erin is rough.[(((triple9 triple10) -> rule3))] @2: Erin is blue.[(((((triple9 triple10) -> rule3) triple9) -> rule8))]