Bob is big. Bob is red. Bob is rough. Bob is round. Bob is smart. Charlie is rough. Charlie is round. Dave is red. Dave is smart. Fiona is rough. Fiona is round. Fiona is smart. If someone is big then they are smart. If someone is red then they are rough. All rough, furry people are big. If someone is smart then they are rough. All rough people are furry. All round people are smart.
Charlie is not smart.
@0: Bob is big.[(triple1 OR ((triple3 ((triple3) -> rule5)) -> rule3) OR ((((triple2) -> rule2) ((triple3) -> rule5)) -> rule3) OR ((((triple5) -> rule4) ((triple3) -> rule5)) -> rule3) OR ((triple3 ((((triple2) -> rule2)) -> rule5)) -> rule3) OR ((triple3 ((((triple5) -> rule4)) -> rule5)) -> rule3) OR ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule5)) -> rule3) OR ((((triple2) -> rule2) ((((triple5) -> rule4)) -> rule5)) -> rule3) OR ((((triple5) -> rule4) ((((triple2) -> rule2)) -> rule5)) -> rule3) OR ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule5)) -> rule3) OR ((((((triple4) -> rule6)) -> rule4) ((triple3) -> rule5)) -> rule3) OR ((((((triple4) -> rule6)) -> rule4) ((((triple2) -> rule2)) -> rule5)) -> rule3) OR ((((((triple4) -> rule6)) -> rule4) ((((triple5) -> rule4)) -> rule5)) -> rule3) OR ((triple3 ((((((triple4) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((triple2) -> rule2) ((((((triple4) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((triple5) -> rule4) ((((((triple4) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple4) -> rule6)) -> rule4) ((((((triple4) -> rule6)) -> rule4)) -> rule5)) -> rule3))] Bob is red.[(triple2)] Bob is rough.[(triple3 OR ((triple2) -> rule2) OR ((triple5) -> rule4) OR ((((triple1) -> rule1)) -> rule4) OR ((((triple4) -> rule6)) -> rule4))] Bob is round.[(triple4)] Bob is smart.[(triple5 OR ((triple1) -> rule1) OR ((triple4) -> rule6) OR ((((triple3 ((triple3) -> rule5)) -> rule3)) -> rule1) OR ((((((triple2) -> rule2) ((triple3) -> rule5)) -> rule3)) -> rule1) OR ((((triple3 ((((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule1))] Charlie is rough.[(triple6 OR ((((triple7) -> rule6)) -> rule4))] Charlie is round.[(triple7)] Dave is red.[(triple8)] Dave is smart.[(triple9 OR ((((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule5)) -> rule3)) -> rule1))] Fiona is rough.[(triple10 OR ((triple12) -> rule4) OR ((((triple11) -> rule6)) -> rule4))] Fiona is round.[(triple11)] Fiona is smart.[(triple12 OR ((triple11) -> rule6) OR ((((triple10 ((triple10) -> rule5)) -> rule3)) -> rule1))] @1: Bob is furry.[(((triple3) -> rule5) OR ((((triple2) -> rule2)) -> rule5) OR ((((triple5) -> rule4)) -> rule5) OR ((((((triple1) -> rule1)) -> rule4)) -> rule5) OR ((((((triple4) -> rule6)) -> rule4)) -> rule5))] Charlie is furry.[(((triple6) -> rule5) OR ((((((triple7) -> rule6)) -> rule4)) -> rule5))] Charlie is smart.[(((triple7) -> rule6) OR ((((triple6 ((triple6) -> rule5)) -> rule3)) -> rule1))] Dave is rough.[(((triple8) -> rule2) OR ((triple9) -> rule4))] Fiona is furry.[(((triple10) -> rule5) OR ((((triple12) -> rule4)) -> rule5) OR ((((((triple11) -> rule6)) -> rule4)) -> rule5))] @2: Charlie is big.[(((triple6 ((triple6) -> rule5)) -> rule3) OR ((((((triple7) -> rule6)) -> rule4) ((triple6) -> rule5)) -> rule3) OR ((triple6 ((((((triple7) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple7) -> rule6)) -> rule4) ((((((triple7) -> rule6)) -> rule4)) -> rule5)) -> rule3))] Dave is furry.[(((((triple8) -> rule2)) -> rule5) OR ((((triple9) -> rule4)) -> rule5))] Fiona is big.[(((triple10 ((triple10) -> rule5)) -> rule3) OR ((((triple12) -> rule4) ((triple10) -> rule5)) -> rule3) OR ((triple10 ((((triple12) -> rule4)) -> rule5)) -> rule3) OR ((((triple12) -> rule4) ((((triple12) -> rule4)) -> rule5)) -> rule3) OR ((((((triple11) -> rule6)) -> rule4) ((triple10) -> rule5)) -> rule3) OR ((((((triple11) -> rule6)) -> rule4) ((((triple12) -> rule4)) -> rule5)) -> rule3) OR ((triple10 ((((((triple11) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((triple12) -> rule4) ((((((triple11) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple11) -> rule6)) -> rule4) ((((((triple11) -> rule6)) -> rule4)) -> rule5)) -> rule3))] @3: Dave is big.[(((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule5)) -> rule3) OR ((((triple8) -> rule2) ((((triple9) -> rule4)) -> rule5)) -> rule3) OR ((((triple9) -> rule4) ((((triple8) -> rule2)) -> rule5)) -> rule3) OR ((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule5)) -> rule3))]