Bob is big. Bob is cold. Bob is green. Bob is round. Bob is young. Dave is cold. Fiona is blue. Fiona is cold. Fiona is smart. Fiona is young. If someone is cold then they are green. If someone is smart and young then they are round. If someone is cold then they are big. All big people are blue. All smart, young people are round. Smart, big people are blue. Cold people are smart. If Bob is round and Bob is cold then Bob is big.
Bob is big.
@0: Bob is big.[(triple1 OR ((triple2) -> rule3) OR ((triple4 triple2) -> rule8) OR ((((((triple2) -> rule7) triple5) -> rule2) triple2) -> rule8) OR ((((((triple2) -> rule7) triple5) -> rule5) triple2) -> rule8))] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((triple2) -> rule1))] Bob is round.[(triple4 OR ((((triple2) -> rule7) triple5) -> rule2) OR ((((triple2) -> rule7) triple5) -> rule5))] Bob is young.[(triple5)] Dave is cold.[(triple6)] Fiona is blue.[(triple7 OR ((((triple8) -> rule3)) -> rule4) OR ((triple9 ((triple8) -> rule3)) -> rule6) OR ((((triple8) -> rule7) ((triple8) -> rule3)) -> rule6))] Fiona is cold.[(triple8)] Fiona is smart.[(triple9 OR ((triple8) -> rule7))] Fiona is young.[(triple10)] @1: Bob is blue.[(((triple1) -> rule4) OR ((((triple2) -> rule3)) -> rule4) OR ((((triple4 triple2) -> rule8)) -> rule4) OR ((((triple2) -> rule7) triple1) -> rule6) OR ((((triple2) -> rule7) ((triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule7) ((triple4 triple2) -> rule8)) -> rule6) OR ((((((((triple2) -> rule7) triple5) -> rule2) triple2) -> rule8)) -> rule4) OR ((((((((triple2) -> rule7) triple5) -> rule5) triple2) -> rule8)) -> rule4) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) triple5) -> rule2) triple2) -> rule8)) -> rule6) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) triple5) -> rule5) triple2) -> rule8)) -> rule6))] Bob is smart.[(((triple2) -> rule7))] Dave is big.[(((triple6) -> rule3))] Dave is green.[(((triple6) -> rule1))] Dave is smart.[(((triple6) -> rule7))] Fiona is big.[(((triple8) -> rule3))] Fiona is green.[(((triple8) -> rule1))] Fiona is round.[(((triple9 triple10) -> rule2) OR ((triple9 triple10) -> rule5) OR ((((triple8) -> rule7) triple10) -> rule2) OR ((((triple8) -> rule7) triple10) -> rule5))] @2: Dave is blue.[(((((triple6) -> rule3)) -> rule4) OR ((((triple6) -> rule7) ((triple6) -> rule3)) -> rule6))]