Bob is big. Bob is green. Bob is quiet. Bob is round. Dave is cold. Dave is not quiet. Fiona is round. Gary is big. Gary is red. Gary is not round. Gary is young. All green people are quiet. If someone is big and not round then they are young. If someone is round then they are young. If Fiona is round and Fiona is quiet then Fiona is big. If someone is round then they are green. If someone is green and cold then they are not red. Big people are cold. If Bob is big and Bob is cold then Bob is quiet.
Gary is not quiet.
@0: Bob is big.[(triple1)] Bob is green.[(triple2 OR ((triple4) -> rule5))] Bob is quiet.[(triple3 OR ((triple2) -> rule1) OR ((((triple4) -> rule5)) -> rule1) OR ((triple1 ((triple1) -> rule7)) -> rule8))] Bob is round.[(triple4)] Dave is cold.[(triple5)] Dave is not quiet.[(triple6)] Fiona is round.[(triple7)] Gary is big.[(triple8)] Gary is not round.[(triple10)] Gary is red.[(triple9)] Gary is young.[(triple11 OR ((triple8 triple10) -> rule2))] @1: Bob is cold.[(((triple1) -> rule7))] Bob is young.[(((triple4) -> rule3))] Fiona is green.[(((triple7) -> rule5))] Fiona is young.[(((triple7) -> rule3))] Gary is cold.[(((triple8) -> rule7))] @2: Bob is not red.[(((triple2 ((triple1) -> rule7)) -> rule6) OR ((((triple4) -> rule5) ((triple1) -> rule7)) -> rule6))] Fiona is quiet.[(((((triple7) -> rule5)) -> rule1))] @3: Fiona is big.[(((triple7 ((((triple7) -> rule5)) -> rule1)) -> rule4))] @4: Fiona is cold.[(((((triple7 ((((triple7) -> rule5)) -> rule1)) -> rule4)) -> rule7))] @5: Fiona is not red.[(((((triple7) -> rule5) ((((triple7 ((((triple7) -> rule5)) -> rule1)) -> rule4)) -> rule7)) -> rule6))]