Anne is cold. Anne is red. Charlie is cold. Charlie is green. Dave is white. Erin is not blue. Erin is not green. All red, smart things are round. All cold, blue things are round. Green, white things are cold. All smart things are blue. Green, round things are blue. White things are green. If Charlie is white then Charlie is green. All cold things are red. All red things are smart.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is red.
("Anne" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not green.
("Erin" "is" "green" "-")
All red, smart things are round.
((("something" "is" "red" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
All cold, blue things are round.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Green, white things are cold.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
All smart things are blue.
((("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
Green, round things are blue.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
White things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If Charlie is white then Charlie is green.
((("Charlie" "is" "white" "+")) -> ("Charlie" "is" "green" "+"))
All cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
All red things are smart.
((("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
Charlie is green.
True
1
proof
[(triple4)]
("Charlie" "is" "green" "+")
triple4
Dave is not white.
False
1
inv-proof
[(triple5)]
("Dave" "is" "white" "-")
triple5
Anne is smart.
True
2
proof
[(((triple2) -> rule9) OR ((((triple1) -> rule8)) -> rule9))]
("Anne" "is" "smart" "+")
((triple2) -> (rule9 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule9 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is not smart.
False
2
inv-proof
[(((triple2) -> rule9) OR ((((triple1) -> rule8)) -> rule9))]
("Anne" "is" "smart" "-")
((triple2) -> (rule9 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule9 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Dave is cold.
True
4
proof
[(((((triple5) -> rule6) triple5) -> rule3))]
("Dave" "is" "cold" "+")
((((triple5) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Anne is not round.
False
4
inv-proof
[(((triple2 ((triple2) -> rule9)) -> rule1) OR ((((triple1) -> rule8) ((triple2) -> rule9)) -> rule1) OR ((triple1 ((((triple2) -> rule9)) -> rule4)) -> rule2) OR ((triple2 ((((triple1) -> rule8)) -> rule9)) -> rule1) OR ((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule9)) -> rule1) OR ((triple1 ((((((triple1) -> rule8)) -> rule9)) -> rule4)) -> rule2))]
("Anne" "is" "round" "-")
((triple2 ((triple2) -> (rule9 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple1) -> (rule8 % int3)) ((triple2) -> (rule9 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((triple1 ((((triple2) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((triple2 ((((triple1) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple1) -> (rule8 % int3)) ((((triple1) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((triple1 ((((((triple1) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Charlie is blue.
True
4
proof
[(((((((triple3) -> rule8)) -> rule9)) -> rule4) OR ((triple4 ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule9)) -> rule1)) -> rule5))]
("Charlie" "is" "blue" "+")
((((((triple3) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple4 ((((triple3) -> (rule8 % int4)) ((((triple3) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is not blue.
False
4
inv-proof
[(((((((triple3) -> rule8)) -> rule9)) -> rule4) OR ((triple4 ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule9)) -> rule1)) -> rule5))]
("Charlie" "is" "blue" "-")
((((((triple3) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple4 ((((triple3) -> (rule8 % int4)) ((((triple3) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Dave is smart.
True
6
proof
[(((((((((triple5) -> rule6) triple5) -> rule3)) -> rule8)) -> rule9))]
("Dave" "is" "smart" "+")
((((((((triple5) -> (rule6 % int4)) triple5) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is not smart.
False
6
inv-proof
[(((((((((triple5) -> rule6) triple5) -> rule3)) -> rule8)) -> rule9))]
("Dave" "is" "smart" "-")
((((((((triple5) -> (rule6 % int4)) triple5) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is blue.
True
7
proof
[(((((((((((triple5) -> rule6) triple5) -> rule3)) -> rule8)) -> rule9)) -> rule4) OR ((((triple5) -> rule6) ((((((((triple5) -> rule6) triple5) -> rule3)) -> rule8) ((((((((triple5) -> rule6) triple5) -> rule3)) -> rule8)) -> rule9)) -> rule1)) -> rule5))]
("Dave" "is" "blue" "+")
((((((((((triple5) -> (rule6 % int5)) triple5) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((triple5) -> (rule6 % int6)) ((((((((triple5) -> (rule6 % int6)) triple5) -> (rule3 % int5))) -> (rule8 % int4)) ((((((((triple5) -> (rule6 % int6)) triple5) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
Dave is not round.
False
12
inv-proof
[(((((((((triple5) -> rule6) triple5) -> rule3)) -> rule8) ((((((((triple5) -> rule6) triple5) -> rule3)) -> rule8)) -> rule9)) -> rule1) OR ((((((triple5) -> rule6) triple5) -> rule3) ((((((((((triple5) -> rule6) triple5) -> rule3)) -> rule8)) -> rule9)) -> rule4)) -> rule2))]
("Dave" "is" "round" "-")
((((((((triple5) -> (rule6 % int5)) triple5) -> (rule3 % int4))) -> (rule8 % int3)) ((((((((triple5) -> (rule6 % int5)) triple5) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple5) -> (rule6 % int6)) triple5) -> (rule3 % int5)) ((((((((((triple5) -> (rule6 % int6)) triple5) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "cold" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "green" "+")
Erin is not red.
Unknown
inv-rconc
[@2: Erin is red.[CWA. Example of deepest failure = (rule8 <- rule3 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is smart.
Unknown
rconc
[@3: Erin is smart.[CWA. Example of deepest failure = (rule9 <- rule8 <- rule3 <- FAIL)]]
("Erin" "is" "smart" "+")
Erin is not round.
Unknown
inv-rconc
[@3: Erin is round.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule3 <- FAIL)]]
("Erin" "is" "round" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is red.[(triple2 OR ((triple1) -> rule8))] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Dave is white.[(triple5)] Erin is not blue.[(triple6)] Erin is not green.[(triple7)] @1: Anne is smart.[(((triple2) -> rule9) OR ((((triple1) -> rule8)) -> rule9))] Charlie is red.[(((triple3) -> rule8))] Dave is green.[(((triple5) -> rule6))] @2: Anne is blue.[(((((triple2) -> rule9)) -> rule4) OR ((((((triple1) -> rule8)) -> rule9)) -> rule4))] Anne is round.[(((triple2 ((triple2) -> rule9)) -> rule1) OR ((((triple1) -> rule8) ((triple2) -> rule9)) -> rule1) OR ((triple1 ((((triple2) -> rule9)) -> rule4)) -> rule2) OR ((triple2 ((((triple1) -> rule8)) -> rule9)) -> rule1) OR ((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule9)) -> rule1) OR ((triple1 ((((((triple1) -> rule8)) -> rule9)) -> rule4)) -> rule2))] Charlie is smart.[(((((triple3) -> rule8)) -> rule9))] Dave is cold.[(((((triple5) -> rule6) triple5) -> rule3))] @3: Charlie is blue.[(((((((triple3) -> rule8)) -> rule9)) -> rule4) OR ((triple4 ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule9)) -> rule1)) -> rule5))] Charlie is round.[(((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule9)) -> rule1) OR ((triple3 ((((((triple3) -> rule8)) -> rule9)) -> rule4)) -> rule2))] Dave is red.[(((((((triple5) -> rule6) triple5) -> rule3)) -> rule8))] @4: Dave is smart.[(((((((((triple5) -> rule6) triple5) -> rule3)) -> rule8)) -> rule9))] @5: Dave is blue.[(((((((((((triple5) -> rule6) triple5) -> rule3)) -> rule8)) -> rule9)) -> rule4) OR ((((triple5) -> rule6) ((((((((triple5) -> rule6) triple5) -> rule3)) -> rule8) ((((((((triple5) -> rule6) triple5) -> rule3)) -> rule8)) -> rule9)) -> rule1)) -> rule5))] Dave is round.[(((((((((triple5) -> rule6) triple5) -> rule3)) -> rule8) ((((((((triple5) -> rule6) triple5) -> rule3)) -> rule8)) -> rule9)) -> rule1) OR ((((((triple5) -> rule6) triple5) -> rule3) ((((((((((triple5) -> rule6) triple5) -> rule3)) -> rule8)) -> rule9)) -> rule4)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
((triple1) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Erin is not blue.
("Erin" "is" "blue" "-")
triple6
Erin is not green.
("Erin" "is" "green" "-")
triple7
Anne is smart.
("Anne" "is" "smart" "+")
((triple2) -> (rule9 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule9 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((triple3) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple5) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
((((triple2) -> (rule9 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((triple1) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
((triple2 ((triple2) -> (rule9 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple1) -> (rule8 % int3)) ((triple2) -> (rule9 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((triple1 ((((triple2) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((triple2 ((((triple1) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple1) -> (rule8 % int3)) ((((triple1) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((triple1 ((((((triple1) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple3) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((triple5) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((((triple3) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple4 ((((triple3) -> (rule8 % int4)) ((((triple3) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple3 ((((((triple3) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
((((((triple5) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
((((((((triple5) -> (rule6 % int4)) triple5) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
((((((((((triple5) -> (rule6 % int5)) triple5) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((triple5) -> (rule6 % int6)) ((((((((triple5) -> (rule6 % int6)) triple5) -> (rule3 % int5))) -> (rule8 % int4)) ((((((((triple5) -> (rule6 % int6)) triple5) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
Dave is round.
("Dave" "is" "round" "+")
((((((((triple5) -> (rule6 % int5)) triple5) -> (rule3 % int4))) -> (rule8 % int3)) ((((((((triple5) -> (rule6 % int5)) triple5) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple5) -> (rule6 % int6)) triple5) -> (rule3 % int5)) ((((((((((triple5) -> (rule6 % int6)) triple5) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6