Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is round. Dave is round. Erin is red. Fiona is cold. Fiona is green. All green things are blue. If something is round and cold then it is red. Blue, big things are round. If something is furry and blue then it is round. All red, green things are furry. If something is round then it is red. If Bob is furry and Bob is red then Bob is round. Red things are big. All blue things are furry.
Erin is green.
@0: Bob is big.[(triple1 OR ((((triple6) -> rule6)) -> rule8) OR ((((triple6 triple3) -> rule2)) -> rule8) OR ((((((triple4 triple2) -> rule4)) -> rule6)) -> rule8) OR ((((((triple4 triple2) -> rule4) triple3) -> rule2)) -> rule8) OR ((((((triple4 ((triple5) -> rule1)) -> rule4)) -> rule6)) -> rule8) OR ((((((((triple2) -> rule9) triple2) -> rule4)) -> rule6)) -> rule8) OR ((((((triple4 ((triple5) -> rule1)) -> rule4) triple3) -> rule2)) -> rule8) OR ((((((((triple2) -> rule9) triple2) -> rule4) triple3) -> rule2)) -> rule8) OR ((((((((triple2) -> rule9) ((triple5) -> rule1)) -> rule4)) -> rule6)) -> rule8) OR ((((((((triple2) -> rule9) ((triple5) -> rule1)) -> rule4) triple3) -> rule2)) -> rule8) OR ((((((((((triple5) -> rule1)) -> rule9) triple2) -> rule4)) -> rule6)) -> rule8) OR ((((((((((triple5) -> rule1)) -> rule9) triple2) -> rule4) triple3) -> rule2)) -> rule8) OR ((((((((((triple5) -> rule1)) -> rule9) ((triple5) -> rule1)) -> rule4)) -> rule6)) -> rule8) OR ((((((((((triple5) -> rule1)) -> rule9) ((triple5) -> rule1)) -> rule4) triple3) -> rule2)) -> rule8))] Bob is blue.[(triple2 OR ((triple5) -> rule1))] Bob is cold.[(triple3)] Bob is furry.[(triple4 OR ((triple2) -> rule9) OR ((((triple5) -> rule1)) -> rule9) OR ((((triple6) -> rule6) triple5) -> rule5) OR ((((triple6 triple3) -> rule2) triple5) -> rule5) OR ((((((triple2 triple1) -> rule3)) -> rule6) triple5) -> rule5) OR ((((((triple2 triple1) -> rule3) triple3) -> rule2) triple5) -> rule5) OR ((((((((triple5) -> rule1) triple1) -> rule3)) -> rule6) triple5) -> rule5) OR ((((((((triple5) -> rule1) triple1) -> rule3) triple3) -> rule2) triple5) -> rule5))] Bob is green.[(triple5)] Bob is round.[(triple6 OR ((triple2 triple1) -> rule3) OR ((triple4 triple2) -> rule4) OR ((triple4 ((triple5) -> rule1)) -> rule4) OR ((((triple2) -> rule9) triple2) -> rule4) OR ((((triple5) -> rule1) triple1) -> rule3) OR ((((triple2) -> rule9) ((triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule1)) -> rule9) triple2) -> rule4) OR ((((((triple5) -> rule1)) -> rule9) ((triple5) -> rule1)) -> rule4))] Dave is round.[(triple7)] Erin is red.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] @1: Bob is red.[(((triple6) -> rule6) OR ((triple6 triple3) -> rule2) OR ((((triple2 triple1) -> rule3)) -> rule6) OR ((((triple4 triple2) -> rule4)) -> rule6) OR ((((triple2 triple1) -> rule3) triple3) -> rule2) OR ((((triple4 triple2) -> rule4) triple3) -> rule2) OR ((((triple4 ((triple5) -> rule1)) -> rule4)) -> rule6) OR ((((((triple2) -> rule9) triple2) -> rule4)) -> rule6) OR ((((((triple5) -> rule1) triple1) -> rule3)) -> rule6) OR ((((triple4 ((triple5) -> rule1)) -> rule4) triple3) -> rule2) OR ((((((triple2) -> rule9) triple2) -> rule4) triple3) -> rule2) OR ((((((triple5) -> rule1) triple1) -> rule3) triple3) -> rule2) OR ((((((triple2) -> rule9) ((triple5) -> rule1)) -> rule4)) -> rule6) OR ((((((triple2) -> rule9) ((triple5) -> rule1)) -> rule4) triple3) -> rule2) OR ((((((((triple5) -> rule1)) -> rule9) triple2) -> rule4)) -> rule6) OR ((((((((triple5) -> rule1)) -> rule9) triple2) -> rule4) triple3) -> rule2) OR ((((((((triple5) -> rule1)) -> rule9) ((triple5) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple5) -> rule1)) -> rule9) ((triple5) -> rule1)) -> rule4) triple3) -> rule2))] Dave is red.[(((triple7) -> rule6))] Erin is big.[(((triple8) -> rule8))] Fiona is blue.[(((triple10) -> rule1))] @2: Dave is big.[(((((triple7) -> rule6)) -> rule8))] Fiona is furry.[(((((triple10) -> rule1)) -> rule9))] @3: Fiona is round.[(((((((triple10) -> rule1)) -> rule9) ((triple10) -> rule1)) -> rule4))] @4: Fiona is red.[(((((((((triple10) -> rule1)) -> rule9) ((triple10) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule9) ((triple10) -> rule1)) -> rule4) triple9) -> rule2))] @5: Fiona is big.[(((((((((((triple10) -> rule1)) -> rule9) ((triple10) -> rule1)) -> rule4)) -> rule6)) -> rule8) OR ((((((((((triple10) -> rule1)) -> rule9) ((triple10) -> rule1)) -> rule4) triple9) -> rule2)) -> rule8))]