Charlie is quiet. Dave is kind. Dave is quiet. Dave is red. Dave is smart. Fiona is furry. Fiona is red. Fiona is rough. Harry is red. Harry is rough. All smart, furry people are red. If someone is red then they are quiet. If someone is smart and rough then they are big. If someone is rough and furry then they are smart. If someone is big then they are furry. All smart people are rough. Quiet people are smart. All big people are quiet. If Fiona is furry then Fiona is red.
Harry is smart.
@0: Charlie is quiet.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3 OR ((triple4) -> rule2) OR ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule8) OR ((((triple5 ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule5)) -> rule1)) -> rule2))] Dave is red.[(triple4 OR ((triple5 ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule5)) -> rule1) OR ((triple5 ((((((triple3) -> rule7) ((triple5) -> rule6)) -> rule3)) -> rule5)) -> rule1) OR ((((triple3) -> rule7) ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule5)) -> rule1) OR ((((triple3) -> rule7) ((((((triple3) -> rule7) ((triple5) -> rule6)) -> rule3)) -> rule5)) -> rule1) OR ((triple5 ((((triple5 ((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule1) OR ((triple5 ((((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule1) OR ((((triple3) -> rule7) ((((triple5 ((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule1) OR ((((triple3) -> rule7) ((((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule1))] Dave is smart.[(triple5 OR ((triple3) -> rule7) OR ((((triple4) -> rule2)) -> rule7))] Fiona is furry.[(triple6 OR ((((((((triple7) -> rule2)) -> rule7) triple8) -> rule3)) -> rule5) OR ((((((((triple7) -> rule2)) -> rule7) ((((((triple7) -> rule2)) -> rule7)) -> rule6)) -> rule3)) -> rule5))] Fiona is red.[(triple7 OR ((triple6) -> rule9) OR ((((triple8 triple6) -> rule4) triple6) -> rule1))] Fiona is rough.[(triple8 OR ((((((triple7) -> rule2)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule9)) -> rule2)) -> rule7)) -> rule6))] Harry is red.[(triple9)] Harry is rough.[(triple10 OR ((((((triple9) -> rule2)) -> rule7)) -> rule6))] @1: Charlie is smart.[(((triple1) -> rule7))] Dave is rough.[(((triple5) -> rule6) OR ((((triple3) -> rule7)) -> rule6) OR ((((((triple4) -> rule2)) -> rule7)) -> rule6))] Fiona is quiet.[(((triple7) -> rule2) OR ((((triple6) -> rule9)) -> rule2) OR ((((((triple8 triple6) -> rule4) triple6) -> rule1)) -> rule2) OR ((((((triple8 triple6) -> rule4) triple8) -> rule3)) -> rule8))] Fiona is smart.[(((triple8 triple6) -> rule4) OR ((((triple7) -> rule2)) -> rule7) OR ((((((triple6) -> rule9)) -> rule2)) -> rule7))] Harry is quiet.[(((triple9) -> rule2))] @2: Charlie is rough.[(((((triple1) -> rule7)) -> rule6))] Dave is big.[(((triple5 ((triple5) -> rule6)) -> rule3) OR ((((triple3) -> rule7) ((triple5) -> rule6)) -> rule3) OR ((triple5 ((((triple3) -> rule7)) -> rule6)) -> rule3) OR ((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule6)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((triple5) -> rule6)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((triple3) -> rule7)) -> rule6)) -> rule3) OR ((triple5 ((((((triple4) -> rule2)) -> rule7)) -> rule6)) -> rule3) OR ((((triple3) -> rule7) ((((((triple4) -> rule2)) -> rule7)) -> rule6)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((((triple4) -> rule2)) -> rule7)) -> rule6)) -> rule3))] Fiona is big.[(((((triple8 triple6) -> rule4) triple8) -> rule3) OR ((((((triple7) -> rule2)) -> rule7) triple8) -> rule3) OR ((((((((triple6) -> rule9)) -> rule2)) -> rule7) triple8) -> rule3) OR ((((triple8 triple6) -> rule4) ((((((triple7) -> rule2)) -> rule7)) -> rule6)) -> rule3) OR ((((((triple7) -> rule2)) -> rule7) ((((((triple7) -> rule2)) -> rule7)) -> rule6)) -> rule3) OR ((((((((triple6) -> rule9)) -> rule2)) -> rule7) ((((((triple7) -> rule2)) -> rule7)) -> rule6)) -> rule3) OR ((((triple8 triple6) -> rule4) ((((((((triple6) -> rule9)) -> rule2)) -> rule7)) -> rule6)) -> rule3) OR ((((((triple7) -> rule2)) -> rule7) ((((((((triple6) -> rule9)) -> rule2)) -> rule7)) -> rule6)) -> rule3) OR ((((((((triple6) -> rule9)) -> rule2)) -> rule7) ((((((((triple6) -> rule9)) -> rule2)) -> rule7)) -> rule6)) -> rule3))] Harry is smart.[(((((triple9) -> rule2)) -> rule7))] @3: Charlie is big.[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule6)) -> rule3))] Dave is furry.[(((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule5) OR ((((((triple3) -> rule7) ((triple5) -> rule6)) -> rule3)) -> rule5) OR ((((triple5 ((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5) OR ((((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5) OR ((((((((triple4) -> rule2)) -> rule7) ((triple5) -> rule6)) -> rule3)) -> rule5) OR ((((((((triple4) -> rule2)) -> rule7) ((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule5) OR ((((triple5 ((((((triple4) -> rule2)) -> rule7)) -> rule6)) -> rule3)) -> rule5) OR ((((((triple3) -> rule7) ((((((triple4) -> rule2)) -> rule7)) -> rule6)) -> rule3)) -> rule5) OR ((((((((triple4) -> rule2)) -> rule7) ((((((triple4) -> rule2)) -> rule7)) -> rule6)) -> rule3)) -> rule5))] Harry is big.[(((((((triple9) -> rule2)) -> rule7) triple10) -> rule3) OR ((((((triple9) -> rule2)) -> rule7) ((((((triple9) -> rule2)) -> rule7)) -> rule6)) -> rule3))] @4: Charlie is furry.[(((((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule6)) -> rule3)) -> rule5))] Harry is furry.[(((((((((triple9) -> rule2)) -> rule7) triple10) -> rule3)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule7) ((((((triple9) -> rule2)) -> rule7)) -> rule6)) -> rule3)) -> rule5))] @5: Charlie is red.[(((((triple1) -> rule7) ((((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule6)) -> rule3)) -> rule5)) -> rule1))]