Anne is blue. Anne is green. Anne is quiet. Anne is red. Anne is white. Dave is blue. Dave is quiet. Dave is red. Erin is red. Fiona is green. If something is white and green then it is nice. If something is nice and quiet then it is big. All quiet things are red. If something is big then it is green. If something is green then it is white. If something is nice then it is quiet. If something is red and white then it is blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is green.
("Fiona" "is" "green" "+")
If something is white and green then it is nice.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If something is nice and quiet then it is big.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
All quiet things are red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
If something is big then it is green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If something is green then it is white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
If something is nice then it is quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
If something is red and white then it is blue.
((("something" "is" "red" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Dave is quiet.
True
1
proof
[(triple7)]
("Dave" "is" "quiet" "+")
triple7
Anne is not quiet.
False
1
inv-proof
[(triple3 OR ((((triple5 triple2) -> rule1)) -> rule6) OR ((((((triple2) -> rule5) triple2) -> rule1)) -> rule6))]
("Anne" "is" "quiet" "-")
triple3
((((triple5 triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((triple2) -> (rule5 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
True
3
proof
[(((triple5 triple2) -> rule1) OR ((((triple2) -> rule5) triple2) -> rule1))]
("Anne" "is" "nice" "+")
((triple5 triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple2) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not nice.
False
3
inv-proof
[(((triple5 triple2) -> rule1) OR ((((triple2) -> rule5) triple2) -> rule1))]
("Anne" "is" "nice" "-")
((triple5 triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple2) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Fiona is nice.
True
4
proof
[(((((triple10) -> rule5) triple10) -> rule1))]
("Fiona" "is" "nice" "+")
((((triple10) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Anne is not big.
False
5
inv-proof
[(((((triple5 triple2) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) triple2) -> rule1) triple3) -> rule2) OR ((((triple5 triple2) -> rule1) ((((triple5 triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule5) triple2) -> rule1) ((((triple5 triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple5 triple2) -> rule1) ((((((triple2) -> rule5) triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule5) triple2) -> rule1) ((((((triple2) -> rule5) triple2) -> rule1)) -> rule6)) -> rule2))]
("Anne" "is" "big" "-")
((((triple5 triple2) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((triple2) -> (rule5 % int3)) triple2) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple5 triple2) -> (rule1 % int3)) ((((triple5 triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple2) -> (rule5 % int4)) triple2) -> (rule1 % int3)) ((((triple5 triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple5 triple2) -> (rule1 % int4)) ((((((triple2) -> (rule5 % int3)) triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2) -> (rule5 % int4)) triple2) -> (rule1 % int3)) ((((((triple2) -> (rule5 % int4)) triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Fiona is quiet.
True
5
proof
[(((((((triple10) -> rule5) triple10) -> rule1)) -> rule6))]
("Fiona" "is" "quiet" "+")
((((((triple10) -> (rule5 % int3)) triple10) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is not quiet.
False
5
inv-proof
[(((((((triple10) -> rule5) triple10) -> rule1)) -> rule6))]
("Fiona" "is" "quiet" "-")
((((((triple10) -> (rule5 % int3)) triple10) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
True
10
proof
[(((((((triple10) -> rule5) triple10) -> rule1) ((((((triple10) -> rule5) triple10) -> rule1)) -> rule6)) -> rule2))]
("Fiona" "is" "big" "+")
((((((triple10) -> (rule5 % int4)) triple10) -> (rule1 % int3)) ((((((triple10) -> (rule5 % int4)) triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is not big.
False
10
inv-proof
[(((((((triple10) -> rule5) triple10) -> rule1) ((((((triple10) -> rule5) triple10) -> rule1)) -> rule6)) -> rule2))]
("Fiona" "is" "big" "-")
((((((triple10) -> (rule5 % int4)) triple10) -> (rule1 % int3)) ((((((triple10) -> (rule5 % int4)) triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is blue.
True
9
proof
[(((((((((((triple10) -> rule5) triple10) -> rule1)) -> rule6)) -> rule3) ((triple10) -> rule5)) -> rule7))]
("Fiona" "is" "blue" "+")
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple10) -> (rule5 % int5))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is not blue.
False
9
inv-proof
[(((((((((((triple10) -> rule5) triple10) -> rule1)) -> rule6)) -> rule3) ((triple10) -> rule5)) -> rule7))]
("Fiona" "is" "blue" "-")
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple10) -> (rule5 % int5))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Erin is not white.
Unknown
inv-rconc
[@4: Erin is white.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule2 <- rule1 <- FAIL)]]
("Erin" "is" "white" "-")
Erin is nice.
Unknown
rconc
[@3: Erin is nice.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule2 <- FAIL)]]
("Erin" "is" "nice" "+")
Dave is not green.
Unknown
inv-rconc
[@3: Dave is green.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Erin is quiet.
Unknown
rconc
[@4: Erin is quiet.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule4 <- rule2 <- FAIL)]]
("Erin" "is" "quiet" "+")
Dave is not big.
Unknown
inv-rconc
[@3: Dave is big.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule4 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is nice.
Unknown
rconc
[@3: Dave is nice.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule2 <- FAIL)]]
("Dave" "is" "nice" "+")
@0: Anne is blue.[(triple1 OR ((triple4 triple5) -> rule7) OR ((triple4 ((triple2) -> rule5)) -> rule7) OR ((((triple3) -> rule3) triple5) -> rule7) OR ((((triple3) -> rule3) ((triple2) -> rule5)) -> rule7) OR ((((((((triple5 triple2) -> rule1)) -> rule6)) -> rule3) triple5) -> rule7) OR ((((((((triple5 triple2) -> rule1)) -> rule6)) -> rule3) ((triple2) -> rule5)) -> rule7) OR ((((((((((triple2) -> rule5) triple2) -> rule1)) -> rule6)) -> rule3) triple5) -> rule7) OR ((((((((((triple2) -> rule5) triple2) -> rule1)) -> rule6)) -> rule3) ((triple2) -> rule5)) -> rule7))] Anne is green.[(triple2)] Anne is quiet.[(triple3 OR ((((triple5 triple2) -> rule1)) -> rule6) OR ((((((triple2) -> rule5) triple2) -> rule1)) -> rule6))] Anne is red.[(triple4 OR ((triple3) -> rule3) OR ((((((triple5 triple2) -> rule1)) -> rule6)) -> rule3) OR ((((((((triple2) -> rule5) triple2) -> rule1)) -> rule6)) -> rule3))] Anne is white.[(triple5 OR ((triple2) -> rule5))] Dave is blue.[(triple6)] Dave is quiet.[(triple7)] Dave is red.[(triple8 OR ((triple7) -> rule3))] Erin is red.[(triple9)] Fiona is green.[(triple10)] @1: Anne is nice.[(((triple5 triple2) -> rule1) OR ((((triple2) -> rule5) triple2) -> rule1))] Fiona is white.[(((triple10) -> rule5))] @2: Anne is big.[(((((triple5 triple2) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule5) triple2) -> rule1) triple3) -> rule2) OR ((((triple5 triple2) -> rule1) ((((triple5 triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule5) triple2) -> rule1) ((((triple5 triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple5 triple2) -> rule1) ((((((triple2) -> rule5) triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule5) triple2) -> rule1) ((((((triple2) -> rule5) triple2) -> rule1)) -> rule6)) -> rule2))] Fiona is nice.[(((((triple10) -> rule5) triple10) -> rule1))] @3: Fiona is quiet.[(((((((triple10) -> rule5) triple10) -> rule1)) -> rule6))] @4: Fiona is big.[(((((((triple10) -> rule5) triple10) -> rule1) ((((((triple10) -> rule5) triple10) -> rule1)) -> rule6)) -> rule2))] Fiona is red.[(((((((((triple10) -> rule5) triple10) -> rule1)) -> rule6)) -> rule3))] @5: Fiona is blue.[(((((((((((triple10) -> rule5) triple10) -> rule1)) -> rule6)) -> rule3) ((triple10) -> rule5)) -> rule7))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple4 triple5) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple4 ((triple2) -> (rule5 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple3) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple2) -> (rule5 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((((triple5 triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple5 triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) ((triple2) -> (rule5 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((((triple2) -> (rule5 % int5)) triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((((triple2) -> (rule5 % int5)) triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple2) -> (rule5 % int5))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((((triple5 triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((triple2) -> (rule5 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
triple4
((triple3) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((((triple5 triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((((triple2) -> (rule5 % int4)) triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
triple5
((triple2) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
((triple7) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Anne is nice.
("Anne" "is" "nice" "+")
((triple5 triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple2) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((triple10) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
((((triple5 triple2) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((triple2) -> (rule5 % int3)) triple2) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple5 triple2) -> (rule1 % int3)) ((((triple5 triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple2) -> (rule5 % int4)) triple2) -> (rule1 % int3)) ((((triple5 triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple5 triple2) -> (rule1 % int4)) ((((((triple2) -> (rule5 % int3)) triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2) -> (rule5 % int4)) triple2) -> (rule1 % int3)) ((((((triple2) -> (rule5 % int4)) triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple10) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((triple10) -> (rule5 % int3)) triple10) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple10) -> (rule5 % int4)) triple10) -> (rule1 % int3)) ((((((triple10) -> (rule5 % int4)) triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
((((((((triple10) -> (rule5 % int4)) triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((((((triple10) -> (rule5 % int5)) triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple10) -> (rule5 % int5))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5