Bob is blue. Bob is cold. Bob is green. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is smart. Dave is white. Erin is smart. Fiona is blue. Blue people are smart. If Fiona is green and Fiona is blue then Fiona is big. Smart people are cold. If Bob is kind and Bob is blue then Bob is not green. If someone is blue then they are white. Green people are white. All big people are kind. If someone is cold then they are green.
Bob is big.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((((triple1) -> rule1)) -> rule3))] Bob is green.[(triple3 OR ((triple2) -> rule8) OR ((((((triple1) -> rule1)) -> rule3)) -> rule8))] Dave is blue.[(triple4)] Dave is cold.[(triple5 OR ((triple8) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] Dave is green.[(triple6 OR ((triple5) -> rule8) OR ((((triple8) -> rule3)) -> rule8) OR ((((((triple4) -> rule1)) -> rule3)) -> rule8))] Dave is kind.[(triple7)] Dave is smart.[(triple8 OR ((triple4) -> rule1))] Dave is white.[(triple9 OR ((triple4) -> rule5) OR ((triple6) -> rule6) OR ((((triple5) -> rule8)) -> rule6) OR ((((((triple8) -> rule3)) -> rule8)) -> rule6) OR ((((((((triple4) -> rule1)) -> rule3)) -> rule8)) -> rule6))] Erin is smart.[(triple10)] Fiona is blue.[(triple11)] @1: Bob is smart.[(((triple1) -> rule1))] Bob is white.[(((triple1) -> rule5) OR ((triple3) -> rule6) OR ((((triple2) -> rule8)) -> rule6) OR ((((((((triple1) -> rule1)) -> rule3)) -> rule8)) -> rule6))] Erin is cold.[(((triple10) -> rule3))] Fiona is smart.[(((triple11) -> rule1))] Fiona is white.[(((triple11) -> rule5) OR ((((((((triple11) -> rule1)) -> rule3)) -> rule8)) -> rule6))] @2: Erin is green.[(((((triple10) -> rule3)) -> rule8))] Fiona is cold.[(((((triple11) -> rule1)) -> rule3))] @3: Erin is white.[(((((((triple10) -> rule3)) -> rule8)) -> rule6))] Fiona is green.[(((((((triple11) -> rule1)) -> rule3)) -> rule8))] @4: Fiona is big.[(((((((((triple11) -> rule1)) -> rule3)) -> rule8) triple11) -> rule2))] @5: Fiona is kind.[(((((((((((triple11) -> rule1)) -> rule3)) -> rule8) triple11) -> rule2)) -> rule7))]