Anne is blue. Anne is furry. Anne is quiet. Fiona is cold. Fiona is furry. Gary is blue. Gary is smart. Young things are cold. Smart, quiet things are cold. If something is quiet then it is round. All cold, furry things are blue. If something is quiet and round then it is cold. If something is smart and furry then it is quiet. Furry things are smart. Blue, quiet things are furry.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Smart, quiet things are cold.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If something is quiet then it is round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
All cold, furry things are blue.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
If something is quiet and round then it is cold.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If something is smart and furry then it is quiet.
((("something" "is" "smart" "+") ("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
Furry things are smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Blue, quiet things are furry.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
Anne is quiet.
True
1
proof
[(triple3 OR ((((triple2) -> rule7) triple2) -> rule6))]
("Anne" "is" "quiet" "+")
triple3
((((triple2) -> (rule7 % int2)) triple2) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Gary is not blue.
False
1
inv-proof
[(triple6)]
("Gary" "is" "blue" "-")
triple6
Anne is smart.
True
2
proof
[(((triple2) -> rule7) OR ((((triple1 triple3) -> rule8)) -> rule7))]
("Anne" "is" "smart" "+")
((triple2) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple1 triple3) -> (rule8 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Fiona is not smart.
False
2
inv-proof
[(((triple5) -> rule7))]
("Fiona" "is" "smart" "-")
((triple5) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Anne is cold.
True
4
proof
[(((triple3 ((triple3) -> rule3)) -> rule5) OR ((((triple2) -> rule7) triple3) -> rule2) OR ((((((triple1 triple3) -> rule8)) -> rule7) triple3) -> rule2) OR ((((triple2) -> rule7) ((((triple2) -> rule7) triple2) -> rule6)) -> rule2) OR ((((((triple2) -> rule7) triple2) -> rule6) ((triple3) -> rule3)) -> rule5) OR ((((((triple1 triple3) -> rule8)) -> rule7) ((((triple2) -> rule7) triple2) -> rule6)) -> rule2) OR ((triple3 ((((((triple2) -> rule7) triple2) -> rule6)) -> rule3)) -> rule5) OR ((((((triple2) -> rule7) triple2) -> rule6) ((((((triple2) -> rule7) triple2) -> rule6)) -> rule3)) -> rule5))]
("Anne" "is" "cold" "+")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((triple1 triple3) -> (rule8 % int3))) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple2) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple2) -> (rule7 % int4)) triple2) -> (rule6 % int3)) ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple1 triple3) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((triple3 ((((((triple2) -> (rule7 % int4)) triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple2) -> (rule7 % int4)) triple2) -> (rule6 % int3)) ((((((triple2) -> (rule7 % int4)) triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is not cold.
False
4
inv-proof
[(((triple3 ((triple3) -> rule3)) -> rule5) OR ((((triple2) -> rule7) triple3) -> rule2) OR ((((((triple1 triple3) -> rule8)) -> rule7) triple3) -> rule2) OR ((((triple2) -> rule7) ((((triple2) -> rule7) triple2) -> rule6)) -> rule2) OR ((((((triple2) -> rule7) triple2) -> rule6) ((triple3) -> rule3)) -> rule5) OR ((((((triple1 triple3) -> rule8)) -> rule7) ((((triple2) -> rule7) triple2) -> rule6)) -> rule2) OR ((triple3 ((((((triple2) -> rule7) triple2) -> rule6)) -> rule3)) -> rule5) OR ((((((triple2) -> rule7) triple2) -> rule6) ((((((triple2) -> rule7) triple2) -> rule6)) -> rule3)) -> rule5))]
("Anne" "is" "cold" "-")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((triple1 triple3) -> (rule8 % int3))) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple2) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple2) -> (rule7 % int4)) triple2) -> (rule6 % int3)) ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple1 triple3) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((triple3 ((((((triple2) -> (rule7 % int4)) triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple2) -> (rule7 % int4)) triple2) -> (rule6 % int3)) ((((((triple2) -> (rule7 % int4)) triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Fiona is round.
True
5
proof
[(((((((triple5) -> rule7) triple5) -> rule6)) -> rule3))]
("Fiona" "is" "round" "+")
((((((triple5) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is not round.
False
5
inv-proof
[(((((((triple5) -> rule7) triple5) -> rule6)) -> rule3))]
("Fiona" "is" "round" "-")
((((((triple5) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Gary is not furry.
Unknown
inv-rconc
[@2: Gary is furry.[CWA. Example of deepest failure = (rule8 <- rule6 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is round.
Unknown
rconc
[@3: Gary is round.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule8 <- FAIL)]]
("Gary" "is" "round" "+")
Gary is not quiet.
Unknown
inv-rconc
[@2: Gary is quiet.[CWA. Example of deepest failure = (rule6 <- rule8 <- FAIL)]]
("Gary" "is" "quiet" "-")
Gary is cold.
Unknown
rconc
[@3: Gary is cold.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule8 <- FAIL)]]
("Gary" "is" "cold" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Anne is blue.[(triple1 OR ((((triple3 ((triple3) -> rule3)) -> rule5) triple2) -> rule4) OR ((((((triple2) -> rule7) triple3) -> rule2) triple2) -> rule4) OR ((((((triple2) -> rule7) ((((triple2) -> rule7) triple2) -> rule6)) -> rule2) triple2) -> rule4) OR ((((((((triple2) -> rule7) triple2) -> rule6) ((triple3) -> rule3)) -> rule5) triple2) -> rule4) OR ((((triple3 ((((((triple2) -> rule7) triple2) -> rule6)) -> rule3)) -> rule5) triple2) -> rule4) OR ((((((((triple2) -> rule7) triple2) -> rule6) ((((((triple2) -> rule7) triple2) -> rule6)) -> rule3)) -> rule5) triple2) -> rule4))] Anne is furry.[(triple2 OR ((triple1 triple3) -> rule8))] Anne is quiet.[(triple3 OR ((((triple2) -> rule7) triple2) -> rule6))] Fiona is cold.[(triple4 OR ((((triple5) -> rule7) ((((triple5) -> rule7) triple5) -> rule6)) -> rule2) OR ((((((triple5) -> rule7) triple5) -> rule6) ((((((triple5) -> rule7) triple5) -> rule6)) -> rule3)) -> rule5))] Fiona is furry.[(triple5)] Gary is blue.[(triple6)] Gary is smart.[(triple7)] @1: Anne is round.[(((triple3) -> rule3) OR ((((((triple2) -> rule7) triple2) -> rule6)) -> rule3))] Anne is smart.[(((triple2) -> rule7) OR ((((triple1 triple3) -> rule8)) -> rule7))] Fiona is blue.[(((triple4 triple5) -> rule4) OR ((((((triple5) -> rule7) ((((triple5) -> rule7) triple5) -> rule6)) -> rule2) triple5) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule6) ((((((triple5) -> rule7) triple5) -> rule6)) -> rule3)) -> rule5) triple5) -> rule4))] Fiona is smart.[(((triple5) -> rule7))] @2: Anne is cold.[(((triple3 ((triple3) -> rule3)) -> rule5) OR ((((triple2) -> rule7) triple3) -> rule2) OR ((((((triple1 triple3) -> rule8)) -> rule7) triple3) -> rule2) OR ((((triple2) -> rule7) ((((triple2) -> rule7) triple2) -> rule6)) -> rule2) OR ((((((triple2) -> rule7) triple2) -> rule6) ((triple3) -> rule3)) -> rule5) OR ((((((triple1 triple3) -> rule8)) -> rule7) ((((triple2) -> rule7) triple2) -> rule6)) -> rule2) OR ((triple3 ((((((triple2) -> rule7) triple2) -> rule6)) -> rule3)) -> rule5) OR ((((((triple2) -> rule7) triple2) -> rule6) ((((((triple2) -> rule7) triple2) -> rule6)) -> rule3)) -> rule5))] Fiona is quiet.[(((((triple5) -> rule7) triple5) -> rule6))] @3: Fiona is round.[(((((((triple5) -> rule7) triple5) -> rule6)) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((((triple3 ((triple3) -> (rule3 % int3))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule7 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple2) -> (rule7 % int4)) ((((triple2) -> (rule7 % int4)) triple2) -> (rule6 % int3))) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((((triple2) -> (rule7 % int5)) triple2) -> (rule6 % int4)) ((triple3) -> (rule3 % int3))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((triple3 ((((((triple2) -> (rule7 % int5)) triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple2) -> (rule7 % int5)) triple2) -> (rule6 % int4)) ((((((triple2) -> (rule7 % int5)) triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple1 triple3) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((((triple2) -> (rule7 % int2)) triple2) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
((((triple5) -> (rule7 % int3)) ((((triple5) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple5) -> (rule7 % int4)) triple5) -> (rule6 % int3)) ((((((triple5) -> (rule7 % int4)) triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Anne is round.
("Anne" "is" "round" "+")
((triple3) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((((triple2) -> (rule7 % int3)) triple2) -> (rule6 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
((triple2) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple1 triple3) -> (rule8 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple4 triple5) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((((triple5) -> (rule7 % int4)) ((((triple5) -> (rule7 % int4)) triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple5) -> (rule7 % int5)) triple5) -> (rule6 % int4)) ((((((triple5) -> (rule7 % int5)) triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple5) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((triple1 triple3) -> (rule8 % int3))) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple2) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple2) -> (rule7 % int4)) triple2) -> (rule6 % int3)) ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple1 triple3) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((triple3 ((((((triple2) -> (rule7 % int4)) triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple2) -> (rule7 % int4)) triple2) -> (rule6 % int3)) ((((((triple2) -> (rule7 % int4)) triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple5) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((((triple5) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3