Bob is big. Bob is furry. Bob is kind. Bob is rough. Bob is round. Dave is kind. Dave is smart. Erin is round. Gary is furry. Gary is round. Gary is white. If Erin is big then Erin is furry. Round people are kind. All smart, furry people are white. White, big people are furry. All kind people are big. If Bob is rough then Bob is white. All round, big people are furry. If someone is big and furry then they are smart. Rough, smart people are big.
Erin is not smart.
@0: Bob is big.[(triple1 OR ((triple3) -> rule5) OR ((((triple5) -> rule2)) -> rule5))] Bob is furry.[(triple2 OR ((triple5 triple1) -> rule7) OR ((triple5 ((triple3) -> rule5)) -> rule7) OR ((((triple4) -> rule6) triple1) -> rule4) OR ((((triple4) -> rule6) ((triple3) -> rule5)) -> rule4) OR ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7) OR ((((triple4) -> rule6) ((((triple5) -> rule2)) -> rule5)) -> rule4))] Bob is kind.[(triple3 OR ((triple5) -> rule2))] Bob is rough.[(triple4)] Bob is round.[(triple5)] Dave is kind.[(triple6)] Dave is smart.[(triple7)] Erin is round.[(triple8)] Gary is furry.[(triple9 OR ((triple10 ((((triple10) -> rule2)) -> rule5)) -> rule7) OR ((triple11 ((((triple10) -> rule2)) -> rule5)) -> rule4))] Gary is round.[(triple10)] Gary is white.[(triple11 OR ((((((((triple10) -> rule2)) -> rule5) triple9) -> rule8) triple9) -> rule3) OR ((((((((triple10) -> rule2)) -> rule5) triple9) -> rule8) ((triple10 ((((triple10) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple10) -> rule2)) -> rule5) ((triple10 ((((triple10) -> rule2)) -> rule5)) -> rule7)) -> rule8) triple9) -> rule3) OR ((((((((triple10) -> rule2)) -> rule5) ((triple10 ((((triple10) -> rule2)) -> rule5)) -> rule7)) -> rule8) ((triple10 ((((triple10) -> rule2)) -> rule5)) -> rule7)) -> rule3))] @1: Bob is smart.[(((triple1 triple2) -> rule8) OR ((triple1 ((triple5 triple1) -> rule7)) -> rule8) OR ((((triple3) -> rule5) triple2) -> rule8) OR ((((triple3) -> rule5) ((triple5 triple1) -> rule7)) -> rule8) OR ((triple1 ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule8) OR ((triple1 ((((triple4) -> rule6) triple1) -> rule4)) -> rule8) OR ((((((triple5) -> rule2)) -> rule5) triple2) -> rule8) OR ((triple1 ((((triple4) -> rule6) ((triple3) -> rule5)) -> rule4)) -> rule8) OR ((((triple3) -> rule5) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule8) OR ((((triple3) -> rule5) ((((triple4) -> rule6) triple1) -> rule4)) -> rule8) OR ((((((triple5) -> rule2)) -> rule5) ((triple5 triple1) -> rule7)) -> rule8) OR ((((triple3) -> rule5) ((((triple4) -> rule6) ((triple3) -> rule5)) -> rule4)) -> rule8) OR ((((((triple5) -> rule2)) -> rule5) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule8) OR ((((((triple5) -> rule2)) -> rule5) ((((triple4) -> rule6) triple1) -> rule4)) -> rule8) OR ((((((triple5) -> rule2)) -> rule5) ((((triple4) -> rule6) ((triple3) -> rule5)) -> rule4)) -> rule8) OR ((triple1 ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule8) OR ((triple1 ((((triple4) -> rule6) ((((triple5) -> rule2)) -> rule5)) -> rule4)) -> rule8) OR ((((triple3) -> rule5) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule8) OR ((((triple3) -> rule5) ((((triple4) -> rule6) ((((triple5) -> rule2)) -> rule5)) -> rule4)) -> rule8) OR ((((((triple5) -> rule2)) -> rule5) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule8) OR ((((((triple5) -> rule2)) -> rule5) ((((triple4) -> rule6) ((((triple5) -> rule2)) -> rule5)) -> rule4)) -> rule8))] Bob is white.[(((triple4) -> rule6) OR ((((triple1 triple2) -> rule8) triple2) -> rule3) OR ((((triple1 triple2) -> rule8) ((triple5 triple1) -> rule7)) -> rule3) OR ((((triple1 ((triple5 triple1) -> rule7)) -> rule8) triple2) -> rule3) OR ((((((triple3) -> rule5) triple2) -> rule8) triple2) -> rule3) OR ((((triple1 triple2) -> rule8) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule3) OR ((((triple1 ((triple5 triple1) -> rule7)) -> rule8) ((triple5 triple1) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) triple2) -> rule8) ((triple5 triple1) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) ((triple5 triple1) -> rule7)) -> rule8) triple2) -> rule3) OR ((((triple1 ((triple5 triple1) -> rule7)) -> rule8) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) triple2) -> rule8) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) ((triple5 triple1) -> rule7)) -> rule8) ((triple5 triple1) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) ((triple5 triple1) -> rule7)) -> rule8) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule3) OR ((((triple1 ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule8) triple2) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) triple2) -> rule8) triple2) -> rule3) OR ((((triple1 triple2) -> rule8) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((triple1 ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule8) ((triple5 triple1) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule8) triple2) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) triple2) -> rule8) ((triple5 triple1) -> rule7)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) ((triple5 triple1) -> rule7)) -> rule8) triple2) -> rule3) OR ((((triple1 ((triple5 triple1) -> rule7)) -> rule8) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((triple1 ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule8) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) triple2) -> rule8) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule8) ((triple5 triple1) -> rule7)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) triple2) -> rule8) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) ((triple5 triple1) -> rule7)) -> rule8) ((triple5 triple1) -> rule7)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule8) triple2) -> rule3) OR ((((triple1 ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule8) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) ((triple5 triple1) -> rule7)) -> rule8) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule8) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) triple2) -> rule8) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) ((triple5 triple1) -> rule7)) -> rule8) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule8) ((triple5 triple1) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule8) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) ((triple5 triple1) -> rule7)) -> rule8) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule8) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule8) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((triple1 ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule8) triple2) -> rule3) OR ((((triple1 ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule8) ((triple5 triple1) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule8) triple2) -> rule3) OR ((((triple1 ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule8) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule8) ((triple5 triple1) -> rule7)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule8) triple2) -> rule3) OR ((((triple1 ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule8) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule8) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule8) ((triple5 triple1) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule8) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule8) ((triple5 ((triple3) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule8) ((triple5 ((((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule3))] Dave is big.[(((triple6) -> rule5))] Erin is kind.[(((triple8) -> rule2))] Gary is kind.[(((triple10) -> rule2))] @2: Erin is big.[(((((triple8) -> rule2)) -> rule5))] Gary is big.[(((((triple10) -> rule2)) -> rule5))] @3: Erin is furry.[(((((((triple8) -> rule2)) -> rule5)) -> rule1) OR ((triple8 ((((triple8) -> rule2)) -> rule5)) -> rule7))] Gary is smart.[(((((((triple10) -> rule2)) -> rule5) triple9) -> rule8) OR ((((((triple10) -> rule2)) -> rule5) ((triple10 ((((triple10) -> rule2)) -> rule5)) -> rule7)) -> rule8) OR ((((((triple10) -> rule2)) -> rule5) ((triple11 ((((triple10) -> rule2)) -> rule5)) -> rule4)) -> rule8))] @4: Erin is smart.[(((((((triple8) -> rule2)) -> rule5) ((((((triple8) -> rule2)) -> rule5)) -> rule1)) -> rule8) OR ((((((triple8) -> rule2)) -> rule5) ((triple8 ((((triple8) -> rule2)) -> rule5)) -> rule7)) -> rule8))] @5: Erin is white.[(((((((((triple8) -> rule2)) -> rule5) ((((((triple8) -> rule2)) -> rule5)) -> rule1)) -> rule8) ((((((triple8) -> rule2)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple8) -> rule2)) -> rule5) ((((((triple8) -> rule2)) -> rule5)) -> rule1)) -> rule8) ((triple8 ((((triple8) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple8) -> rule2)) -> rule5) ((triple8 ((((triple8) -> rule2)) -> rule5)) -> rule7)) -> rule8) ((((((triple8) -> rule2)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple8) -> rule2)) -> rule5) ((triple8 ((((triple8) -> rule2)) -> rule5)) -> rule7)) -> rule8) ((triple8 ((((triple8) -> rule2)) -> rule5)) -> rule7)) -> rule3))]