Bob is cold. Bob is nice. Bob is round. Dave is young. Erin is nice. Erin is round. Fiona is cold. If something is green then it is blue. If something is green and round then it is cold. Cold things are nice. All nice things are red. If something is young then it is cold. If something is nice and round then it is green. If something is red and cold then it is green. All young, round things are nice. If Fiona is round and Fiona is young then Fiona is cold.
Dave is not red.
@0: Bob is cold.[(triple1 OR ((((triple2 triple3) -> rule6) triple3) -> rule2))] Bob is nice.[(triple2 OR ((triple1) -> rule3))] Bob is round.[(triple3)] Dave is young.[(triple4)] Erin is nice.[(triple5)] Erin is round.[(triple6)] Fiona is cold.[(triple7)] @1: Bob is green.[(((triple2 triple3) -> rule6) OR ((((triple1) -> rule3) triple3) -> rule6) OR ((((triple2) -> rule4) triple1) -> rule7) OR ((((((triple1) -> rule3)) -> rule4) triple1) -> rule7))] Bob is red.[(((triple2) -> rule4) OR ((((triple1) -> rule3)) -> rule4))] Dave is cold.[(((triple4) -> rule5))] Erin is green.[(((triple5 triple6) -> rule6))] Erin is red.[(((triple5) -> rule4))] Fiona is nice.[(((triple7) -> rule3))] @2: Bob is blue.[(((((triple2 triple3) -> rule6)) -> rule1) OR ((((((triple1) -> rule3) triple3) -> rule6)) -> rule1) OR ((((((triple2) -> rule4) triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule3)) -> rule4) triple1) -> rule7)) -> rule1))] Dave is nice.[(((((triple4) -> rule5)) -> rule3))] Erin is blue.[(((((triple5 triple6) -> rule6)) -> rule1))] Erin is cold.[(((((triple5 triple6) -> rule6) triple6) -> rule2))] Fiona is red.[(((((triple7) -> rule3)) -> rule4))] @3: Dave is red.[(((((((triple4) -> rule5)) -> rule3)) -> rule4))] Fiona is green.[(((((((triple7) -> rule3)) -> rule4) triple7) -> rule7))] @4: Dave is green.[(((((((((triple4) -> rule5)) -> rule3)) -> rule4) ((triple4) -> rule5)) -> rule7))] Fiona is blue.[(((((((((triple7) -> rule3)) -> rule4) triple7) -> rule7)) -> rule1))] @5: Dave is blue.[(((((((((((triple4) -> rule5)) -> rule3)) -> rule4) ((triple4) -> rule5)) -> rule7)) -> rule1))]