Bob is big. Bob is red. Charlie is big. Erin is nice. Erin is quiet. Erin is red. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is red. If someone is quiet then they are furry. Kind, nice people are red. All big people are quiet. If someone is kind then they are cold. All nice, furry people are red. If someone is nice and red then they are kind. Big people are nice. Kind people are quiet.
Charlie is not red.
@0: Bob is big.[(triple1)] Bob is red.[(triple2 OR ((((triple1) -> rule7) ((((triple1) -> rule3)) -> rule1)) -> rule5))] Charlie is big.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5 OR ((((triple4 triple6) -> rule6)) -> rule8))] Erin is red.[(triple6 OR ((triple4 ((triple5) -> rule1)) -> rule5))] Fiona is cold.[(triple7 OR ((triple8) -> rule4) OR ((((triple9 triple10) -> rule6)) -> rule4))] Fiona is kind.[(triple8 OR ((triple9 triple10) -> rule6))] Fiona is nice.[(triple9)] Fiona is red.[(triple10 OR ((triple8 triple9) -> rule2) OR ((triple9 ((((triple8) -> rule8)) -> rule1)) -> rule5))] @1: Bob is nice.[(((triple1) -> rule7))] Bob is quiet.[(((triple1) -> rule3) OR ((((((triple1) -> rule7) triple2) -> rule6)) -> rule8))] Charlie is nice.[(((triple3) -> rule7))] Charlie is quiet.[(((triple3) -> rule3))] Erin is furry.[(((triple5) -> rule1) OR ((((((triple4 triple6) -> rule6)) -> rule8)) -> rule1))] Erin is kind.[(((triple4 triple6) -> rule6) OR ((triple4 ((triple4 ((triple5) -> rule1)) -> rule5)) -> rule6))] Fiona is quiet.[(((triple8) -> rule8) OR ((((triple9 triple10) -> rule6)) -> rule8))] @2: Bob is furry.[(((((triple1) -> rule3)) -> rule1) OR ((((((((triple1) -> rule7) triple2) -> rule6)) -> rule8)) -> rule1))] Bob is kind.[(((((triple1) -> rule7) triple2) -> rule6) OR ((((triple1) -> rule7) ((((triple1) -> rule7) ((((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule6))] Charlie is furry.[(((((triple3) -> rule3)) -> rule1))] Erin is cold.[(((((triple4 triple6) -> rule6)) -> rule4) OR ((((triple4 ((triple4 ((triple5) -> rule1)) -> rule5)) -> rule6)) -> rule4))] Fiona is furry.[(((((triple8) -> rule8)) -> rule1) OR ((((((triple9 triple10) -> rule6)) -> rule8)) -> rule1))] @3: Bob is cold.[(((((((triple1) -> rule7) triple2) -> rule6)) -> rule4) OR ((((((triple1) -> rule7) ((((triple1) -> rule7) ((((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule6)) -> rule4))] Charlie is red.[(((((triple3) -> rule7) ((((triple3) -> rule3)) -> rule1)) -> rule5))] @4: Charlie is kind.[(((((triple3) -> rule7) ((((triple3) -> rule7) ((((triple3) -> rule3)) -> rule1)) -> rule5)) -> rule6))] @5: Charlie is cold.[(((((((triple3) -> rule7) ((((triple3) -> rule7) ((((triple3) -> rule3)) -> rule1)) -> rule5)) -> rule6)) -> rule4))]