Anne is cold. Anne is nice. Dave is nice. Dave is quiet. Dave is smart. Erin is red. Fiona is nice. Rough things are kind. Cold things are kind. If something is red and kind then it is quiet. Nice, red things are smart. All smart things are cold. All kind things are red. If Fiona is smart then Fiona is kind. If something is nice then it is rough. If Fiona is not kind then Fiona is quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If something is red and kind then it is quiet.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Nice, red things are smart.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
All smart things are cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
All kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If Fiona is smart then Fiona is kind.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "kind" "+"))
If something is nice then it is rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If Fiona is not kind then Fiona is quiet.
((("Fiona" "is" "kind" "~")) -> ("Fiona" "is" "quiet" "+"))
Dave is quiet.
True
1
proof
[(triple4 OR ((((((((triple3) -> rule8)) -> rule1)) -> rule6) ((((triple3) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule1)) -> rule6) ((((triple5) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple5) -> rule5)) -> rule2)) -> rule6) ((((triple3) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple5) -> rule5)) -> rule2)) -> rule6) ((((triple5) -> rule5)) -> rule2)) -> rule3))]
("Dave" "is" "quiet" "+")
triple4
((((((((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule5 % int2))) -> (rule2 % int4))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((triple5) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule8 % int2))) -> (rule1 % int4))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple5) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Anne is not cold.
False
1
inv-proof
[(triple1 OR ((((triple2 ((((((triple2) -> rule8)) -> rule1)) -> rule6)) -> rule4)) -> rule5))]
("Anne" "is" "cold" "-")
triple1
((((triple2 ((((((triple2) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Fiona is rough.
True
2
proof
[(((triple7) -> rule8))]
("Fiona" "is" "rough" "+")
((triple7) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Dave is not rough.
False
2
inv-proof
[(((triple3) -> rule8))]
("Dave" "is" "rough" "-")
((triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Anne is red.
True
3
proof
[(((((triple1) -> rule2)) -> rule6) OR ((((((triple2) -> rule8)) -> rule1)) -> rule6))]
("Anne" "is" "red" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is not red.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule6) OR ((((((triple2) -> rule8)) -> rule1)) -> rule6))]
("Anne" "is" "red" "-")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Dave is red.
True
4
proof
[(((((((triple3) -> rule8)) -> rule1)) -> rule6) OR ((((((triple5) -> rule5)) -> rule2)) -> rule6))]
("Dave" "is" "red" "+")
((((((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Fiona is not red.
False
4
inv-proof
[(((((((triple7) -> rule8)) -> rule1)) -> rule6))]
("Fiona" "is" "red" "-")
((((((triple7) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is quiet.
True
8
proof
[(((((((((triple7) -> rule8)) -> rule1)) -> rule6) ((((triple7) -> rule8)) -> rule1)) -> rule3))]
("Fiona" "is" "quiet" "+")
((((((((triple7) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is not smart.
False
6
inv-proof
[(((triple7 ((((((triple7) -> rule8)) -> rule1)) -> rule6)) -> rule4))]
("Fiona" "is" "smart" "-")
((triple7 ((((((triple7) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
True
7
proof
[(((((triple7 ((((((triple7) -> rule8)) -> rule1)) -> rule6)) -> rule4)) -> rule5))]
("Fiona" "is" "cold" "+")
((((triple7 ((((((triple7) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is not cold.
False
7
inv-proof
[(((((triple7 ((((((triple7) -> rule8)) -> rule1)) -> rule6)) -> rule4)) -> rule5))]
("Fiona" "is" "cold" "-")
((((triple7 ((((((triple7) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is quiet.
Unknown
rconc
[@4: Erin is quiet.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule5 <- rule4 <- FAIL)]]
("Erin" "is" "quiet" "+")
Erin is not cold.
Unknown
inv-rconc
[@2: Erin is cold.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Erin" "is" "cold" "-")
Erin is kind.
Unknown
rconc
[@3: Erin is kind.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule4 <- FAIL)]]
("Erin" "is" "kind" "+")
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Anne is cold.[(triple1 OR ((((triple2 ((((((triple2) -> rule8)) -> rule1)) -> rule6)) -> rule4)) -> rule5))] Anne is nice.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4 OR ((((((((triple3) -> rule8)) -> rule1)) -> rule6) ((((triple3) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule1)) -> rule6) ((((triple5) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple5) -> rule5)) -> rule2)) -> rule6) ((((triple3) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple5) -> rule5)) -> rule2)) -> rule6) ((((triple5) -> rule5)) -> rule2)) -> rule3))] Dave is smart.[(triple5 OR ((triple3 ((((((triple3) -> rule8)) -> rule1)) -> rule6)) -> rule4))] Erin is red.[(triple6)] Fiona is nice.[(triple7)] @1: Anne is kind.[(((triple1) -> rule2) OR ((((triple2) -> rule8)) -> rule1))] Anne is rough.[(((triple2) -> rule8))] Dave is cold.[(((triple5) -> rule5) OR ((((triple3 ((((((triple3) -> rule8)) -> rule1)) -> rule6)) -> rule4)) -> rule5))] Dave is rough.[(((triple3) -> rule8))] Fiona is rough.[(((triple7) -> rule8))] @2: Anne is red.[(((((triple1) -> rule2)) -> rule6) OR ((((((triple2) -> rule8)) -> rule1)) -> rule6))] Dave is kind.[(((((triple3) -> rule8)) -> rule1) OR ((((triple5) -> rule5)) -> rule2))] Fiona is kind.[(((((triple7) -> rule8)) -> rule1))] @3: Anne is quiet.[(((((((triple1) -> rule2)) -> rule6) ((triple1) -> rule2)) -> rule3) OR ((((((triple1) -> rule2)) -> rule6) ((((triple2) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple2) -> rule8)) -> rule1)) -> rule6) ((triple1) -> rule2)) -> rule3) OR ((((((((triple2) -> rule8)) -> rule1)) -> rule6) ((((triple2) -> rule8)) -> rule1)) -> rule3))] Anne is smart.[(((triple2 ((((triple1) -> rule2)) -> rule6)) -> rule4) OR ((triple2 ((((((triple2) -> rule8)) -> rule1)) -> rule6)) -> rule4))] Dave is red.[(((((((triple3) -> rule8)) -> rule1)) -> rule6) OR ((((((triple5) -> rule5)) -> rule2)) -> rule6))] Fiona is red.[(((((((triple7) -> rule8)) -> rule1)) -> rule6))] @4: Fiona is quiet.[(((((((((triple7) -> rule8)) -> rule1)) -> rule6) ((((triple7) -> rule8)) -> rule1)) -> rule3))] Fiona is smart.[(((triple7 ((((((triple7) -> rule8)) -> rule1)) -> rule6)) -> rule4))] @5: Fiona is cold.[(((((triple7 ((((((triple7) -> rule8)) -> rule1)) -> rule6)) -> rule4)) -> rule5))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((((triple2 ((((((triple2) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
((((((((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule5 % int2))) -> (rule2 % int4))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((triple5) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule8 % int2))) -> (rule1 % int4))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple5) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
((triple3 ((((((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
((triple2) -> (rule8 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple5) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple3 ((((((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
((triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple7) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((((triple3) -> (rule8 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple7) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
((((((triple1) -> (rule2 % int3))) -> (rule6 % int2)) ((triple1) -> (rule2 % int3))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple1) -> (rule2 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule8 % int2))) -> (rule1 % int4))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple2) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple1) -> (rule2 % int3))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((triple2) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
((triple2 ((((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((triple2 ((((((triple2) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
((((((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
((((((triple7) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((((triple7) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple7 ((((((triple7) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple7 ((((((triple7) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5