Bob is cold. Bob is nice. Bob is red. Erin is nice. Fiona is red. Harry is nice. Harry is smart. Quiet, round people are red. If Harry is cold then Harry is quiet. All red, round people are cold. Furry people are smart. If someone is smart and nice then they are round. Cold people are red. If someone is quiet then they are nice. All red people are furry. All smart, furry people are nice.
Fiona is cold.
@0: Bob is cold.[(triple1 OR ((triple3 ((((((triple3) -> rule8)) -> rule4) triple2) -> rule5)) -> rule3) OR ((triple3 ((((((triple3) -> rule8)) -> rule4) ((((((triple3) -> rule8)) -> rule4) ((triple3) -> rule8)) -> rule9)) -> rule5)) -> rule3))] Bob is nice.[(triple2 OR ((((((triple3) -> rule8)) -> rule4) ((triple3) -> rule8)) -> rule9) OR ((((((triple3) -> rule8)) -> rule4) ((((triple1) -> rule6)) -> rule8)) -> rule9) OR ((((((((triple1) -> rule6)) -> rule8)) -> rule4) ((triple3) -> rule8)) -> rule9) OR ((((((((triple1) -> rule6)) -> rule8)) -> rule4) ((((triple1) -> rule6)) -> rule8)) -> rule9))] Bob is red.[(triple3 OR ((triple1) -> rule6))] Erin is nice.[(triple4)] Fiona is red.[(triple5)] Harry is nice.[(triple6)] Harry is smart.[(triple7)] @1: Bob is furry.[(((triple3) -> rule8) OR ((((triple1) -> rule6)) -> rule8))] Fiona is furry.[(((triple5) -> rule8))] Harry is round.[(((triple7 triple6) -> rule5))] @2: Bob is smart.[(((((triple3) -> rule8)) -> rule4) OR ((((((triple1) -> rule6)) -> rule8)) -> rule4))] Fiona is smart.[(((((triple5) -> rule8)) -> rule4))] @3: Bob is round.[(((((((triple3) -> rule8)) -> rule4) triple2) -> rule5) OR ((((((((triple1) -> rule6)) -> rule8)) -> rule4) triple2) -> rule5) OR ((((((triple3) -> rule8)) -> rule4) ((((((triple3) -> rule8)) -> rule4) ((triple3) -> rule8)) -> rule9)) -> rule5) OR ((((((triple3) -> rule8)) -> rule4) ((((((triple3) -> rule8)) -> rule4) ((((triple1) -> rule6)) -> rule8)) -> rule9)) -> rule5) OR ((((((((triple1) -> rule6)) -> rule8)) -> rule4) ((((((triple3) -> rule8)) -> rule4) ((triple3) -> rule8)) -> rule9)) -> rule5) OR ((((((((triple1) -> rule6)) -> rule8)) -> rule4) ((((((triple3) -> rule8)) -> rule4) ((((triple1) -> rule6)) -> rule8)) -> rule9)) -> rule5) OR ((((((triple3) -> rule8)) -> rule4) ((((((((triple1) -> rule6)) -> rule8)) -> rule4) ((triple3) -> rule8)) -> rule9)) -> rule5) OR ((((((triple3) -> rule8)) -> rule4) ((((((((triple1) -> rule6)) -> rule8)) -> rule4) ((((triple1) -> rule6)) -> rule8)) -> rule9)) -> rule5) OR ((((((((triple1) -> rule6)) -> rule8)) -> rule4) ((((((((triple1) -> rule6)) -> rule8)) -> rule4) ((triple3) -> rule8)) -> rule9)) -> rule5) OR ((((((((triple1) -> rule6)) -> rule8)) -> rule4) ((((((((triple1) -> rule6)) -> rule8)) -> rule4) ((((triple1) -> rule6)) -> rule8)) -> rule9)) -> rule5))] Fiona is nice.[(((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule9))] @4: Fiona is round.[(((((((triple5) -> rule8)) -> rule4) ((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule9)) -> rule5))] @5: Fiona is cold.[(((triple5 ((((((triple5) -> rule8)) -> rule4) ((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule9)) -> rule5)) -> rule3))]